Federal award (DEFINITIVE CONTRACT, fiscal year 2023)
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) 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