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

Award Notice Posted

Solicitation number
HR001125S0002-HR001126CE068
Agency
Awarded
to Riverside Research Institute
Set-aside
No set-aside

Opportunity facts

Contract number
HR001126CE068 Federal contract award
NAICS code
541715 Research and Development in the Physical, Engineering, and Life Sciences (except Nanotechnology and Biotechnology)
PSC
AC11 National Defense R&D Services; Department Of Defense - Military; Basic Research
Place of performance
Fairfax, Virginia 22033, United States
Points of contact

Notice details come from SAM.gov. Updated .

About this opportunity

Written by GovTribe AI ·

The Defense Advanced Research Projects Agency awarded a contract valued at $734,721 to Riverside Research Institute for Code-to-model Analysis Ready for Verification Engines (CARVE) on May 8, 2026.

The award followed unrestricted competition with no set-aside applied. Contract number is HR001126CE068.

Notice text

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

Awarded contract HR001126CE068 to RIVERSIDE RESEARCH INSTITUTE for 734721.00 on 2026-05-08.

On GovTribe

Work this opportunity

  • Track it in your pipeline
  • Find teaming partners
  • Similar opportunities
  • Ask GovTribe AI about this opportunity
Try for free Login

GovTribe for Federal Contractors