Skip to content
Abierto
Menu

Award notice

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

HR001125S0002-HR001126CE068

Defense Advanced Research Projects Agency, Def Advanced Research Projects Agcy. Research and Development in the Physical, Engineering, and Life Sciences (except Nanotechnology and Biotechnology).

View on SAM.govMarkdown

Awarded

Riverside Research Institute

$734,721.00 on the award notice, May 8, 2026, contract HR001126CE068

Description

As published on SAM.gov.

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

The contract, on USAspending

Federal procurement data the awarding office reported to FPDS, matched to this solicitation by its number.

Recipient
Riverside Research Institute
UEI
HRH1XLHY1XJ3
CAGE
1G356
Vendor location
Fairfax, VA
Contract
HR001126CE068, definitive contract
Obligated
$484,721.00, current value $734,721
Actions
2 between May 8, 2026 and June 1, 2026
Competition
Full and Open Competition, 83 offers received
Set-aside reported
No Set Aside Used.
Described as
Code-To-Model Analysis Ready for Verification Engines (Carve)
Match
award number HR001126CE068 equals the contract number; same awarding office HR0011 (high confidence)
Record
USAspending award page

Publications

Every notice SAM.gov issued under this solicitation number, oldest first. Each is a separate record on SAM.

  1. May 11, 2026

    Award notice

    Awarded to RIVERSIDE RESEARCH INSTITUTE Fairfax for $734,721. SAM.gov, notice 6b9fec2c508c4fb29d32e51bf23f7109

Points of contact

Also open from this buyer