Federal award (DEFINITIVE CONTRACT, fiscal year 2021)
Recipient: RUNTIME VERIFICATION 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-08-03 to 2023-08-02
Current total value of award: $749847
Description: EO14042 A SEMANTICS-BASED VERIFICATION TOOLSET FOR UAS EMBEDDED SOFTWARE