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…
Active Definitive Contract Awarded Last action
- Contract number
- FA875024CB035
- Awardee
-
BAE Systems Information & Electronic Systems Integration Inc. UEI XHYCN585XJH4
- Awarding agency
-
Air Force Research Laboratory
Air Force Materiel Command, Department of Defense
- Obligated
- $4,652,902
Award facts
- Opportunity
-
- Pipelined Reasoning Of Verifiers Enabling Robust Systems (PROVERS) Pre-Solicitation · HR001123S0020 · Posted Mar 29, 2023
- Contract value 76% obligated
- $6,094,916.00 Current and potential, with all options
- Completion date 72% complete
- Current and potential, with all options
- Contracting staff
- Funding agency
- Defense Advanced Research Projects Agency Department of Defense
- NAICS code
- 541715 Research and Development in the Physical, Engineering, and Life Sciences (except Nanotechnology and Biotechnology)
- Set-aside
- No set-aside
- Competition
- Full and Open Competition · 23 offers Basic Research
- Pricing
- Cost Plus Fixed Fee
- Place of performance
- Merrimack, NH 03054, USA
- Legislative mandates
-
- Employment Eligibility Verification (E-Verify) FAR subpart 22.18
Award details come from SAM.gov/FPDS.
Transactions
| Action | Obligated | Date |
|---|---|---|
| Supplemental Agreement for work within scope | $0 | |
| Funding Only Action | $249,600 | |
| Funding Only Action | $620,938 | |
| Funding Only Action | $750,000 | |
| Funding Only Action | $451,625 | |
| Funding Only Action | $677,437 | |
| Supplemental Agreement for work within scope | $0 | |
| Other Administrative Action | $0 | |
| Funding Only Action | $403,302 | |
| Original award | $1,500,000 |
About this award
The Defense Advanced Research Projects Agency awarded a $6,094,916 definitive contract to BAE Systems Information & Electronic Systems Integration Inc. for the Software Analysis, Verification and Validation Environment (SAVVE) effort on March 14, 2024, with an ultimate completion date of November 12, 2027.
SAVVE provides multiple systems under test to demonstrate, evaluate, and drive pipelined reasoning of verifiers enabling robust systems technologies and tools. The contract supports DARPA's Pipelined Reasoning Of Verifiers Enabling Robust Systems program, which aims to advance proof engineering capabilities and integrate formal verification methods into continuous software development pipelines for Department of Defense systems. The originating pre-solicitation, posted March 29, 2023, sought proposals to develop knowledge, tools, and techniques that enable traditional engineers to incorporate formal verification into critical defense system development over a 42-month program period.
Pricing is cost-plus-fixed-fee. Place of performance is Merrimack, NH.
Description
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
Quick answers
Who was awarded contract FA875024CB035?
FA875024CB035 was awarded to BAE Systems Information & Electronic Systems Integration Inc. by Air Force Research Laboratory (Air Force Materiel Command) on March 14, 2024.
How much is contract FA875024CB035 worth?
The government has obligated $4,652,902 on FA875024CB035. Its current value, with exercised options, is $6,094,916.
Which agency awarded contract FA875024CB035?
Air Force Research Laboratory (Air Force Materiel Command) awarded FA875024CB035, with funding from Defense Advanced Research Projects Agency (Department of Defense).
Was contract FA875024CB035 competed?
The extent of competition for FA875024CB035 was full and open competition. The government received 23 offers.
On GovTribe
See this award's full record
- Every transaction and funding action
- The awardee's other awards and teaming partners
- Similar awards and recompete opportunities
- Ask GovTribe AI about this award