Federal award (DEFINITIVE CONTRACT, fiscal year 2022)
Recipient: GALOIS, INC.
Awarding agency: National Aeronautics and Space Administration / National Aeronautics and Space Administration
Funding agency: National Aeronautics and Space Administration / National Aeronautics and Space Administration
Period of performance: 2021-07-07 to 2024-01-06
Current total value of award: $749999
Description: FAULT RECOVERY INSTRUCTION GENERATION USING AUTOMATA DERIVED FROM TRADITIONAL ENGINEERING MODELS (FRIGATE)