HR001126CE068 Code-to-model Analysis Ready for Verification Engines (CARVE)
Tender information
SAM.govARLINGTON, United States
- Type
- Award Notice
- Procedure
- Award Notice
- Ref. number
- 6b9fec2c508c4fb29d32e51bf23f7109
- Estimated value
- 734,721 USD
- NAICS
- 541715
Code-to-model Analysis Ready for Verification Engines (CARVE)