Federal award (DEFINITIVE CONTRACT, fiscal year 2023)
Recipient: GALOIS, 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-25 to 2027-11-24
Current total value of award: $21799877
Description: VERIFICATION ENGINEERING FOR REAL-WORLD SOFTWARE ENGINEERS