C4ISRopenSME suitable
HR001126CE068 Code-to-model Analysis Ready for Verification Engines (CARVE)
🇺🇸DEPT OF DEFENSE·United States
AI Summary
The Department of Defense is seeking services for code-to-model analysis ready for verification engines, aimed at enhancing software verification processes. Companies with expertise in software development and data analysis, particularly in defense applications, should consider bidding.
Full Description
https://api.sam.gov/prod/opportunities/v1/noticedesc?noticeid=6b9fec2c508c4fb29d32e51bf23f7109