NASA Logo

NTRS

NTRS - NASA Technical Reports Server

Collections About News Help Login

Press Enter or click the Search button to begin your search.

Back to Results
From Correct Specifications to Automatically Verified ImplementationsCreating formally verified implementations of software can be time-consuming and difficult. This presentation details this process, and the attempts at easing the level of difficulty and human interaction. It begins by discussing the verification of an implementation of the Compact Position Reporting algorithm, which was an involved and manual process, and goes on to show the advances made since.
Document ID
20220009509
Acquisition Source
Langley Research Center
Document Type
Presentation
Authors
Mariano M. Moscato (National Institute for Aerospace Technology Madrid, Spain)
Laura Titolo (National Institute of Aerospace Hampton, Virginia, United States)
Aaron Dutle (Langley Research Center Hampton, Virginia, United States)
César Muñoz (Langley Research Center Hampton, Virginia, United States)
Date Acquired
June 17, 2022
Subject Category
Computer Programming And Software
Meeting Information
Meeting: System-Wide Safety TC-3 Workshop
Location: Virtual
Country: US
Start Date: July 12, 2022
End Date: July 13, 2022
Sponsors: National Aeronautics and Space Administration
Funding Number(s)
WBS: 3400428.02.20.07.01
Distribution Limits
Public
Copyright
Use by or on behalf of the US Gov. Permitted.
Technical Review
Single Expert

Related Records

There are no records associated with this record.
No Preview Available