HR001126CE068 Code-to-model Analysis Ready for Verification Engines (CARVE)
Contract Overview
Solicitation details, issuing organization, response deadlines, documents, and interested companies for this government contract opportunity.
AI Contract Overview
The Defense Advanced Research Projects Agency has awarded a contract titled Code-to-model Analysis Ready for Verification Engines under solicitation HR001125S0002-HR001126CE068, aimed at advancing technologies for transforming code into formal models suitable for automated verification. The contract, posted on May 11, 2026, falls under NAICS code 541715, indicating it pertains to research and development in the physical, engineering, and life sciences. The award is managed by DARPA’s office located in Arlington, Virginia, with performance expected to take place in Fairfax, Virginia. The primary point of contact for the contract is Ali B. Etedali, reachable via email at [email hidden]. This initiative seeks to bridge the gap between software implementation and formal verification systems, enabling more reliable and secure critical systems through enhanced model generation from source code.
General Info
Contract Value
$484,721Place of Performance
Fairfax, VA, 22033, USASet-Aside
Awardee
RIVERSIDE RESEARCH INSTITUTEAward Issued Date
Documents
0AI Contract Breakdown
Uniform Contract FormatNo documents to break down
The breakdown needs solicitation documents. None were found from this contract's source.
Timeline
Organization & Contact Information
Full Description
Code-to-model Analysis Ready for Verification Engines (CARVE)
Similar Contracts
Same NAICS industry code
More opportunities from Department Of Defense → Defense Advanced Research Projects Agcy
Same awarding agency
Earlier notices in this NAICS code
Posted before this notice, open and closed
Ready to Pursue This Opportunity?
Get AI-powered intelligence on this solicitation and the ones like it
Every page of the solicitation package shredded into a compliance breakdown
AI-powered matching based on your capabilities and past performance
Competitor and incumbent history on the requirement
Automated alerts on amendments, Q&A deadlines, and award
Join 750+ contractors already using CLEATUS
