Skip to content
  • 6,812 federal solicitations are open right now. How many of them are yours?
  • New solicitations are posted every day. The ones you never saw are the ones you cannot win.
  • Stop checking SAM.gov every morning. Let the contracts that fit your business come to you.
  • Tell Abierto what you sell in one sentence. AI reads every open solicitation for you.
  • Deadlines are short. Hear about a solicitation the day it is posted, not the week it closes.
  • Amendments move deadlines. Watch a solicitation and Abierto tells you when it changes.
  • See which contracts in your field are about to end, and who holds them today.
  • Plans from $39 a month. See your matches before you pay.
See plans
AbiertoGet started
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).

127 open like this View on SAM.gov Markdown

Awarded

Riverside Research Institute

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

Get the next one like this from Defense Advanced Research Projects Agency by email, the day it is posted.Find my opportunities

This one was awarded in 2026

127 like it are open now in research and development in the physical, engineering, and life sciences (except nanotechnology and biotechnology)

All 127 open in research and development in the physical, engineering, and life sciences (except nanotechnology and biotechnology)

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 for $734,721. SAM.gov, notice 6b9fec2c508c4fb29d32e51bf23f7109

    1 revisions on SAM
    • May 11, 2026: publish, award notice

Points of contact