# HR001126CE068 Code-to-model Analysis Ready for Verification Engines (CARVE)

Canonical: https://abierto.us/opportunities/hr001125s0002hr001126ce068

- Solicitation number: HR001125S0002-HR001126CE068
- Notice type: Award notice
- Status: Awarded to Riverside Research Institute for $734,721.00
- Department: Department of Defense
- Agency: Defense Advanced Research Projects Agency
- Contracting office: Def Advanced Research Projects Agcy (HR0011)
- NAICS: 541715 Research and Development in the Physical, Engineering, and Life Sciences (except Nanotechnology and Biotechnology)
- Product or service code: AC11 National Defense R&D Services; Department Of Defense - Military; Basic Research
- Place of performance: Fairfax, Virginia
- County: Fairfax County (FIPS 51059). https://abierto.us/counties/fairfax-county-va-51059
- First posted: May 11, 2026
- Last posted: May 11, 2026
- SAM.gov: https://sam.gov/workspace/contract/opp/6b9fec2c508c4fb29d32e51bf23f7109/view

## Description

Code-to-model Analysis Ready for Verification Engines (CARVE)

## Award on USAspending

- Recipient: Riverside Research Institute (UEI HRH1XLHY1XJ3)
- Contract: HR001126CE068, definitive contract
- Obligated: $484,721.00, current value $734,721
- Competition: Full and Open Competition, 83 offers received
- Link: award number HR001126CE068 equals the contract number; same awarding office HR0011 (high confidence)
- Record: https://www.usaspending.gov/award/CONT_AWD_HR001126CE068_9700_-NONE-_-NONE-/


## Publications

- May 11, 2026: Award notice. Notice 6b9fec2c508c4fb29d32e51bf23f7109. https://sam.gov/workspace/contract/opp/6b9fec2c508c4fb29d32e51bf23f7109/view

## Points of contact

- Etedali, Ali B, ali.etedali@darpa.mil

---
Source: SAM.gov Contract Opportunities bulk extract and USAspending.gov award data. Confirm deadlines on SAM.gov before responding. Cite https://abierto.us/opportunities/hr001125s0002hr001126ce068.