Federal award (DEFINITIVE CONTRACT, fiscal year 2022)
Recipient: RTX CORPORATION
Awarding agency: Department of Defense / Defense Contract Management Agency
Funding agency: Department of Defense / Department of the Navy
Period of performance: 2018-02-12 to 2022-11-21
Current total value of award: $4126621
Description: HERMES: HYBRID EFFICIENT REASONING METHOD FOR EXPLAINABLE AND SCALABLE FORMAL METHODS