This is an overview of some of the successes of the Formal Methods team at NASA Langley. It includes discussion of the development of the Well-Clear definition for uncrewed aircraft and the subsequent creation of the DAIDALUS Detect and Avoid library, followed by discussion of the team's verification of the Compact Position Reporting algorithm, which led to the development of tools for floating-point analysis.
Formal Methods in the Air
2024
27 pages
Report
No indication
English
British Library Conference Proceedings | 1997
|Making formal methods practical
IEEE | 2000
|Making Formal Methods Practical
British Library Conference Proceedings | 2000
|Formal methods for railway signalling
Tema Archive | 1989
|The 4SECURail Formal Methods Demonstrator
British Library Conference Proceedings | 2022
|