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

Location: Virginia
Posted: May 11, 2026
Agency: DEPT OF DEFENSE
Type of Contract: Awards
Type of Government: Federal
Category:
  • A - Research and development
Solicitation No: HR001125S0002-HR001126CE068
Publication URL: To access bid details, please log in.
Follow
HR001126CE068 Code-to-model Analysis Ready for Verification Engines (CARVE)
Active
Contract Opportunity
Notice ID
HR001125S0002-HR001126CE068
Related Notice
Contract Line Item Number
Department/Ind. Agency
DEPT OF DEFENSE
Sub-tier
DEFENSE ADVANCED RESEARCH PROJECTS AGENCY (DARPA)
Office
DEF ADVANCED RESEARCH PROJECTS AGCY
Award Details
  • Contract Award Date: May 08, 2026
  • Contract Award Number: HR001126CE068
  • Task/Delivery Order Number:
  • Contractor Awarded Unique Entity ID: HRH1XLHY1XJ3
  • Contractor Awarded Name: RIVERSIDE RESEARCH INSTITUTE
  • Contractor Awarded Address: Fairfax , VA 22033 USA
  • Base and All Options Value (Total Contract Value): $734,721.00
General Information
  • Contract Opportunity Type: Award Notice (Original)
  • Original Published Date: May 11, 2026 02:14 pm EDT
  • Inactive Policy: 15 days after contract award date
  • Original Inactive Date: May 23, 2026
  • Initiative:
    • None
Classification
  • Original Set Aside:
  • Product Service Code: AC11 - NATIONAL DEFENSE R&D SERVICES; DEPARTMENT OF DEFENSE - MILITARY; BASIC RESEARCH
  • NAICS Code:
    • 541715 - Research and Development in the Physical, Engineering, and Life Sciences (except Nanotechnology and Biotechnology)
  • Place of Performance:
    Fairfax , VA 22033
    USA
Description

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


Attachments/Links
Contact Information
Contracting Office Address
  • 675 NORTH RANDOLPH STREET
  • ARLINGTON , VA 222032114
  • USA
Primary Point of Contact
Secondary Point of Contact


History
  • May 11, 2026 02:14 pm EDTAward Notice (Original)
Daily notification on new contract opportunities

With GovernmentContracts, you can:

  • Find more opportunities and win more business
  • Receive daily alerts for all new bid opportunities
  • Get contract opportunities matched to your business
ONE WEEK FREE TRIAL

See also

Solicitation Number: SPM4A5-09-R-0499 Notice Type: Presolicitation Synopsis: Added: Mar 13, 2009 7:55 am

Defense Logistics Agency

Bid Due: 8/13/2029

IFB 11_0010 - AD for WJCC SCHOOLS HVAC REPLACEMENT BERKELEY MS

James City County

Bid Due: 2/02/2043

Bid Number NIGP Class Description Pre-Bid Date/Time Date/Time Due Buyer Actions IFB1944 91036

York County

Bid Due: 3/12/2030

Bid Number NIGP Class Description Pre-Bid Date/Time Date/Time Due Buyer Actions IFB1944 91036

York County

Bid Due: 4/14/2030

* Disclaimer: Information regarding bids, requests for proposals (RFPs), or requests for qualifications (RFQs) is provided on this website only for convenience and does not constitute official public notice. Persons wishing to respond to or inquire about bids, RFPs, or RFQs should contact the appropriate government department.