Federal contract award
HR001125C0300
THE CONTINUOUS-CORRECTNESS ON OPAQUE PROCESSORS (COOP)PROGRAM SEEKS TO DEVELOP HARDWARE AND SOFTWARE TOOLS TO GUARANTEE THAT SOFTWARE IS RUNNING CORRECTLY BY COMBINING FORMAL METHODS AND SIDE-CHANNELS.
Award details
Obligations, current value and potential value describe different measures; they are never added together.
| Field | Reported value |
|---|---|
| Agency | Department of Defense |
| Office | DEF ADVANCED RESEARCH PROJECTS AGCY |
| NAICS | 541715 — Research and Development in the Physical, Engineering, and Life Sciences (except Nanotechnology and Biotechnology) |
| PSC | AC13 — NATIONAL DEFENSE R&D SERVICES; DEPARTMENT OF DEFENSE - MILITARY; EXPERIMENTAL DEVELOPMENT |
| Parent award / vehicle | Not reported |
| Set-aside | NO SET ASIDE USED. |
| Pricing type | COST PLUS FIXED FEE |
| Obligations | $12.6M |
| Current contract value | $25.2M |
| Potential contract value / ceiling | $52.8M |
| Start date | Oct 16, 2024 |
| Current end date | Jun 11, 2026 |
| Potential end date | Jun 11, 2026 |
| Latest award activity | Apr 17, 2026 |
| Source loaded | Sep 26, 2026 |
Funding and modification history
Showing the latest 9 of 9 loaded transactions. Negative values are deobligations.
| Date | Modification | Obligation change | Description |
|---|---|---|---|
| Apr 17, 2026 | P00008 | $0 | THE CONTINUOUS-CORRECTNESS ON OPAQUE PROCESSORS (COOP) PROGRAM SEEKS TO DEVELOP HARDWARE AND SOFTWARE TOOLS TO GUARANTEE THAT SOFTWARE IS RUNNING CORRECTLY BY COMBINING FORMAL METHODS AND SIDE-CHANNELS |
| Sep 29, 2025 | P00007 | $750.0K | THE CONTINUOUS-CORRECTNESS ON OPAQUE PROCESSORS (COOP) PROGRAM SEEKS TO DEVELOP HARDWARE AND SOFTWARE TOOLS TO GUARANTEE THAT SOFTWARE IS RUNNING CORRECTLY BY COMBINING FORMAL METHODS AND SIDE-CHANNELS |
| Sep 5, 2025 | P00006 | $2.0M | THE CONTINUOUS-CORRECTNESS ON OPAQUE PROCESSORS (COOP) PROGRAM SEEKS TO DEVELOP HARDWARE AND SOFTWARE TOOLS TO GUARANTEE THAT SOFTWARE IS RUNNING CORRECTLY BY COMBINING FORMAL METHODS AND SIDE-CHANNELS |
| Jun 26, 2025 | P00005 | $232.8K | THE CONTINUOUS-CORRECTNESS ON OPAQUE PROCESSORS (COOP) PROGRAM SEEKS TO DEVELOP HARDWARE AND SOFTWARE TOOLS TO GUARANTEE THAT SOFTWARE IS RUNNING CORRECTLY BY COMBINING FORMAL METHODS AND SIDE-CHANNELS |
| Jun 12, 2025 | P00004 | $1.3M | DESCRIPTION |
| Mar 24, 2025 | P00003 | $0 | THE CONTINUOUS-CORRECTNESS ON OPAQUE PROCESSORS (COOP)PROGRAM SEEKS TO DEVELOP HARDWARE AND SOFTWARE TOOLS TO GUARANTEE THATSOFTWARE IS RUNNING CORRECTLY BY COMBINING FORMAL METHODS ANDSIDE-CHANNELS |
| Jan 28, 2025 | P00002 | $1.1M | THE CONTINUOUS-CORRECTNESS ON OPAQUE PROCESSORS (COOP)PROGRAM SEEKS TO DEVELOP HARDWARE AND SOFTWARE TOOLS TO GUARANTEE THAT SOFTWARE IS RUNNING CORRECTLY BY COMBINING FORMAL METHODS AND SIDE-CHANNELS. |
| Nov 4, 2024 | P00001 | $589.8K | THE CONTINUOUS-CORRECTNESS ON OPAQUE PROCESSORS (COOP)PROGRAM SEEKS TO DEVELOP HARDWARE AND SOFTWARE TOOLS TO GUARANTEE THAT SOFTWARE IS RUNNING CORRECTLY BY COMBINING FORMAL METHODS AND SIDE-CHANNELS. |
| Oct 16, 2024 | 0 | $6.7M | THE CONTINUOUS-CORRECTNESS ON OPAQUE PROCESSORS (COOP)PROGRAM SEEKS TO DEVELOP HARDWARE AND SOFTWARE TOOLS TO GUARANTEE THAT SOFTWARE IS RUNNING CORRECTLY BY COMBINING FORMAL METHODS AND SIDE-CHANNELS. |
Buyer contacts from matching notices
Matched on exact award/solicitation identifier and awarding agency. Source dates describe the notice, not current contact verification.
| Contact | Role | Published contact methods | Evidence | Source date |
|---|---|---|---|---|
| BAA Coordinator | Contact | HR001124S0016@darpa.mil | Source | May 7, 2024 |
| BAA Coordinator | Contact | HR001124S0016@darpa.mil | Source | Apr 9, 2024 |
| BAA Coordinator | Contact | HR001124S0016@darpa.mil | Source | Mar 26, 2024 |
| BAA Coordinator | Contact | HR001124S0016@darpa.mil | Source | Mar 13, 2024 |
Research next steps
- Check the stated set-aside against the solicitation and current certifications.
- Review the award scope and buyer evidence before making a bid/no-bid decision.