HR001126CE068 Code-to-model Analysis Ready for Verification Engines (CARVE)
Overview
Buyer
Place of Performance
NAICS
PSC
Set Aside
Original Source
Timeline
Qualification Details
Fit reasons
- NAICS alignment with historical contract wins in similar service areas.
- Scope strongly matches core technical capabilities and delivery model.
Risks
- Past performance thresholds may require one additional teaming partner.
- Potential clarification needed on staffing minimums before bid/no-bid.
Next steps
Validate eligibility requirements, assign capture owner, and schedule partner outreach to confirm teaming strategy before submission planning.
Quick Summary
The Defense Advanced Research Projects Agency (DARPA) has issued an Award Notice for the Code-to-model Analysis Ready for Verification Engines (CARVE) program. This notice signifies the initiation or formal recognition of the CARVE effort, focused on advanced code-to-model analysis. Details regarding specific awardees, contract value, or contract type are not provided in this notice.
Scope of Work
The CARVE program focuses on "Code-to-model Analysis Ready for Verification Engines." Based on the Product Service Code AC11, this effort falls under National Defense R&D Services, specifically basic research within the Department of Defense military sector.
Contract & Timeline
- Type: Award Notice (specific contract type not provided)
- Award Date: May 11, 2026
- Set-Aside: None specified
- Awardee: Not specified
- Contract Value: Not specified
Additional Notes
The primary point of contact for this program is Ali B Etedali at ali.etedali@darpa.mil. The place of performance is listed as Fairfax, VA.