Provably correct conflict prevention bands algorithms

DOI10.1016/J.SCICO.2011.07.002MaRDI QIDQ436402zbMATHOpenAlexFDO

Authors Anthony Narkawicz, Gilles Dowek, César Muñoz

Publication date 20 July 2012

Published in Science of Computer Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.scico.2011.07.002

zbMATH Keywords

theorem provingformal verificationair traffic management

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Specification and verification (program logics, model checking, etc.) (68Q60) Traffic problems in operations research (90B20)

Recommendations

• Formal Verification of an Optimal Air Traffic Conflict Resolution and Recovery Algorithm
• scientific article; zbMATH DE number 1852171
• Conflict Probability Estimation for Free Flight
• Conflict resolution for air traffic management: a study in multiagent hybrid systems
• Conflict avoidance: 0-1 linear models for conflict detection \& resolution

Cited in

(7)

• Formalization of real analysis: a survey of proof assistants and libraries
• Formal testing for separation assurance
• A formal analysis of the compact position reporting algorithm
• scientific article; zbMATH DE number 1670737 (Why is no real title available?)
• Internal Conflict-Free Projection Sets
• Affine arithmetic and applications to real-number proving
• Formal Verification of an Optimal Air Traffic Conflict Resolution and Recovery Algorithm

Describes a project that uses

Uses Software

• PVS

This page was built for publication: Provably correct conflict prevention bands algorithms

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