NASA NTRS · 20220009509
From Correct Specifications to Automatically Verified Implementations
Abstract
Creating 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.
Keep this discovery
Explore connections, maps & timelines
Mariano M. Moscato, Laura Titolo, Aaron Dutle, César Muñoz. From Correct Specifications to Automatically Verified Implementations. https://ntrs.nasa.gov/citations/20220009509
Cite the original work for its findings. Save a collection to share your selection of sources.