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) 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.