Federal award (DELIVERY ORDER, fiscal year 2022)
Recipient: ANALYTICAL MECHANICS ASSOCIATES, 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: 2022-10-20 to 2023-04-16
Current total value of award: $381357
Description: COPILOT CODE GENERATION ASSURANCE.  APPLY STATE-OF-THE-ART TECHNIQUES IN FORMAL METHODS, PROGRAMMING LANGUAGES, SOFTWARE ENGINEERING, AND DIGITAL DESIGN TO ENHANCE THE COPILOT RUNTIME VERIFICATION FRAMEWORK.