Provably correct conflict prevention bands algorithms

DOI10.1016/J.SCICO.2011.07.002zbMath1243.68153OpenAlexW2136863563MaRDI QIDQ436402

Gilles Dowek, Anthony Narkawicz, César A. 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

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

Related Items (2)

Affine Arithmetic and Applications to Real-Number Proving ⋮ Formalization of real analysis: a survey of proof assistants and libraries

Uses Software

• PVS

Cites Work

• Unnamed Item

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