Federal award (DEFINITIVE CONTRACT, fiscal year 2023)
Recipient: HONEYWELL INTERNATIONAL INC.
Awarding agency: Department of Defense / Department of the Air Force
Funding agency: Department of Defense / Defense Advanced Research Projects Agency
Period of performance: 2020-03-19 to 2024-03-12
Current total value of award: $7777093
Description: CONSISTENT LOGICAL AUTOMATED REASONING FOR INTEGRATED SYSTEM SOFTWARE ASSURANCE (CLARISSA)