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 2024-08-05
Current total value of award: $749847
Description: A SEMANTICS-BASED VERIFICATION TOOLSET FOR UAS EMBEDDED SOFTWARE