AWARD
A -- HR001126CE068 Code-to-model Analysis Ready for Verification Engines (CARVE)
- Notice Date
- 5/11/2026 11:14:09 AM
- Notice Type
- Award Notice
- NAICS
- 541715
— Research and Development in the Physical, Engineering, and Life Sciences (except Nanotechnology and Biotechnology)
- Contracting Office
- DEF ADVANCED RESEARCH PROJECTS AGCY ARLINGTON VA 222032114 USA
- ZIP Code
- 222032114
- Solicitation Number
- HR001125S0002-HR001126CE068
- Archive Date
- 05/23/2026
- Point of Contact
- Etedali, Ali B
- E-Mail Address
-
ali.etedali@darpa.mil
(ali.etedali@darpa.mil)
- Award Number
- HR001126CE068
- Award Date
- 05/08/2026
- Awardee
- RIVERSIDE RESEARCH INSTITUTE Fairfax VA 22033 USA
- Award Amount
- 734721.00
- Description
- Code-to-model Analysis Ready for Verification Engines (CARVE)
- Web Link
-
SAM.gov Permalink
(https://sam.gov/workspace/contract/opp/6b9fec2c508c4fb29d32e51bf23f7109/view)
- Place of Performance
- Address: Fairfax, VA 22033, USA
- Zip Code: 22033
- Country: USA
- Zip Code: 22033
- Record
- SN07809600-F 20260513/260511230033 (samdaily.us)
- Source
-
SAM.gov Link to This Notice
(may not be valid after Archive Date)
| FSG Index | This Issue's Index | Today's SAM Daily Index Page |