A formal analysis of the compact position reporting algorithm

DOI10.1007/978-3-319-72308-2_2MaRDI QIDQ1630022zbMATH OpenOpenAlexFDO

Authors Aaron Dutle, Laura Titolo, Mariano M. Moscato, César Muñoz

Publication date 7 December 2018

Full work available at URL https://doi.org/10.1007/978-3-319-72308-2_2

Mathematics Subject Classification ID

Coding and information theory (compaction, compression, models of communication, encoding schemes, etc.) (aspects in computer science) (68P30) Computing methodologies for information systems (hypertext navigation, interfaces, decision support, etc.) (68U35) Analysis of algorithms (68W40)

Recommendations

• Formal analysis of the compact position reporting algorithm
• A formally verified floating-point implementation of the compact position reporting algorithm
• Formal Verification of an Optimal Air Traffic Conflict Resolution and Recovery Algorithm
• scientific article; zbMATH DE number 1670737
• Provably correct conflict prevention bands algorithms

Cited in

(5)

• Formal analysis of the compact position reporting algorithm
• A formally verified floating-point implementation of the compact position reporting algorithm
• A two-phase approach for conditional floating-point verification
• Deductive verification of floating-point Java programs in KeY
• Taming floating-point rounding errors with proofs (invited talk)

This page was built for publication: A formal analysis of the compact position reporting algorithm

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1630022)