Federal award (DEFINITIVE CONTRACT, fiscal year 2024)
Recipient: BAE SYSTEMS INFORMATION & ELECTRONIC SYSTEMS INTEGRATION INC
Awarding agency: Department of Defense / Department of the Air Force
Funding agency: Department of Defense / Defense Advanced Research Projects Agency
Period of performance: 2024-03-14 to 2027-11-12
Current total value of award: $6094916
Description: 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