Contracts › FA875024CB035
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
Awarded to Bae Systems Information & Electronic Systems Integration Inc by Department of the Air Force.
$4.7Mobligated
$6.1Mpotential value
12 November 2027current end date
See modifications, all subcontractors and funding in FedSift →
| Contract | FA875024CB035 |
|---|---|
| Awardee | Bae Systems Information & Electronic Systems Integration Inc |
| Awarding agency | Department of the Air Force |
| Awarding 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 |
| Place of performance | NH |
| Offers received | 23 |
| Period of performance | 14 March 2024 to 12 November 2027 |
| Potential end | 12 November 2027 |
| Estimated recompete solicitation | ~Q2 2027 (estimate, ~6 months before expiry) |
Source: USASpending.gov (FPDS), public federal procurement data, as the agency reported it. Our record updated 04 October 2026. The solicitation date is an estimate from the end date, not a posted date.
Other expiring 541715 contracts · All expiring contracts · USASpending record