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

Award$734.7K

DEPT OF DEFENSE › DEF ADVANCED RESEARCH PROJECTS AGCY

Posted May 11, 2026

Fairfax, VA

NAICS 541715

Sol # HR001125S0002-HR001126CE068

Awardee: RIVERSIDE RESEARCH INSTITUTE

Description

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

Award Details

Contract #HR001126CE068

Award DateMay 8, 2026

Amount$734.7K

AwardeeRIVERSIDE RESEARCH INSTITUTE

UEIHRH1XLHY1XJ3

CAGE1G356

Awardee LocationFairfax, VA, 22033

Classification

NAICS541715

PSC CodeAC11

Place of Performance

CityFairfax

StateVA

ZIP22033

CountryUNITED STATES

Contracting Office

OfficeDEF ADVANCED RESEARCH PROJECTS AGCY

CityARLINGTON

StateVA

ZIP222032114

Contacts

Etedali, Ali B