Federal contract award
FA875024CB035
SOFTWARE ANALYSIS, VERIFICATION AND VALIDATION ENVIRONMENT (SAVVE) EFFORT IS TO PROVIDE MULTIPLE SYSTEM UNDER TEST (SUTS) TO DEMONSTRATE, EVALUATE AND DRIVE THE PIPELINED REASONING OF VERIFIERS ENABLING ROBUST SYSTEMS (PROVERS) TECHNOLOGIES AND TOOLS
Award details
Obligations, current value and potential value describe different measures; they are never added together.
| Field | Reported value |
|---|---|
| Agency | Department of Defense |
| Office | FA8750 AFRL RIK |
| NAICS | 541715 — Research and Development in the Physical, Engineering, and Life Sciences (except Nanotechnology and Biotechnology) |
| PSC | AC12 — NATIONAL DEFENSE R&D SERVICES; DEPARTMENT OF DEFENSE - MILITARY; APPLIED RESEARCH |
| Parent award / vehicle | Not reported |
| Set-aside | NO SET ASIDE USED. |
| Pricing type | COST PLUS FIXED FEE |
| Obligations | $4.7M |
| Current contract value | $6.1M |
| Potential contract value / ceiling | $6.1M |
| Start date | Mar 14, 2024 |
| Current end date | Nov 12, 2027 |
| Potential end date | Nov 12, 2027 |
| Latest award activity | Apr 27, 2026 |
| Source loaded | Sep 19, 2026 |
Funding and modification history
Showing the latest 8 of 8 loaded transactions. Negative values are deobligations.
| Date | Modification | Obligation change | Description |
|---|---|---|---|
| Apr 27, 2026 | P00008 | $249.6K | SOFTWARE ANALYSIS, VERIFICATION, AND VALIDATION ENVIRONMENT (SAVVE) AIMS TO PROVIDE MULTIPLE SYSTEM UNDER TEST (SUTS) TO DEMONSTRATE, EVALUATE AND DRIVE THE PIPELINED REASONING OF VERIFIERS ENABLING ROBUST SYSTEMS (PROVERS) TECHNOLOGIES AND TOOLS. |
| Mar 10, 2026 | P00007 | $620.9K | SOFTWARE ANALYSIS, VERIFICATION, AND VALIDATION ENVIRONMENT (SAVVE) AIMS TO PROVIDE MULTIPLE SYSTEM UNDER TEST (SUTS) TO DEMONSTRATE, EVALUATE AND DRIVE THE PIPELINED REASONING OF VERIFIERS ENABLING ROBUST SYSTEMS (PROVERS) TECHNOLOGIES AND TOOLS. |
| Dec 8, 2025 | P00006 | $750.0K | SOFTWARE ANALYSIS, VERIFICATION, AND VALIDATION ENVIRONMENT (SAVVE) AIMS TO PROVIDE MULTIPLE SYSTEM UNDER TEST (SUTS) TO DEMONSTRATE, EVALUATE AND DRIVE THE PIPELINED REASONING OF VERIFIERS ENABLING ROBUST SYSTEMS (PROVERS) TECHNOLOGIES AND TOOLS. |
| Aug 8, 2025 | P00005 | $451.6K | SOFTWARE ANALYSIS, VERIFICATION, AND VALIDATION ENVIRONMENT (SAVVE) AIMS TO PROVIDE MULTIPLE SYSTEM UNDER TEST (SUTS) TO DEMONSTRATE, EVALUATE AND DRIVE THE PIPELINED REASONING OF VERIFIERS ENABLING ROBUST SYSTEMS (PROVERS) TECHNOLOGIES AND TOOLS. |
| Jun 26, 2025 | P00004 | $677.4K | SOFTWARE ANALYSIS, VERIFICATION, AND VALIDATION ENVIRONMENT (SAVVE) AIMS TO PROVIDE MULTIPLE SYSTEM UNDER TEST (SUTS) TO DEMONSTRATE, EVALUATE AND DRIVE THE PIPELINED REASONING OF VERIFIERS ENABLING ROBUST SYSTEMS (PROVERS) TECHNOLOGIES AND TOOLS. |
| Apr 3, 2025 | P00003 | $0 | SOFTWARE ANALYSIS, VERIFICATION, AND VALIDATION ENVIRONMENT (SAVVE) PROVIDES MULTIPLE SYSTEM UNDER TEST (SUTS) TO DEMONSTRATE, EVALUATE AND DRIVE THE PIPELINED REASONING OF VERIFIERS ENABLING ROBUST SYSTEMS (PROVERS) TECHNOLOGIES AND TOOLS |
| Mar 6, 2025 | P00002 | $0 | SOFTWARE ANALYSIS, VERIFICATION, AND VALIDATION ENVIRONMENT (SAVVE) |
| Feb 21, 2025 | P00001 | $403.3K | SOFTWARE ANALYSIS, VERIFICATION, AND VALIDATION ENVIRONMENT (SAVVE) PROVIDES MULTIPLE SYSTEM UNDER TEST (SUTS) TO DEMONSTRATE, EVALUATE AND DRIVE THE PIPELINED REASONING OF VERIFIERS ENABLING ROBUST SYSTEMS (PROVERS) TECHNOLOGIES AND TOOLS. |
Estimated positioning window
Nov 12, 2026 – May 12, 2027
70/100
Why this recompete signal
Contract timing and recorded acquisition signals at the time of calculation.
Stored score: 70/100. Available recorded signals: 65 points.
- Contract end 2027-11-12 (383 days from calculation)
- +25 points
- 187 historical awards in this buyer and category group
- +15 points
- 8 recorded award transactions
- +10 points
- Latest award action: 2026-04-27
- +5 points
- Parent award identifier recorded
- +0 points
- Solicitation identifier recorded
- +10 points
- Linked official forecast
- +0 points
- Calculated on
- 2026-10-25 10:18:04.631876+00:00
The historical group combines buyer, NAICS, and PSC. Multiple awards in this group do not by themselves establish repeated competitions.
Rule-based research score; it does not measure your chance of winning.
This older calculation does not retain a complete reproducible breakdown. Missing or changed inputs are not assigned invented points: Original award-value bonus input.
Recompete score calculated Oct 25, 2026.
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 | PROVERS@darpa.mil | Source | Mar 29, 2023 |
Research next steps
- Check the linked forecast or SAM for a confirmed solicitation and current timing.
- 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.