Proof of Properties in Avionics

  • Jean Souyris
  • Denis Favre-Félix
Conference paper

DOI: 10.1007/978-1-4020-8157-6_48

Volume 156 of the book series IFIP International Federation for Information Processing (IFIPAICT)
Cite this paper as:
Souyris J., Favre-Félix D. (2004) Proof of Properties in Avionics. In: Jacquart R. (eds) Building the Information Society. IFIP International Federation for Information Processing, vol 156. Springer, Boston, MA


This paper presents the industrial use of a program proof method based on CAVEAT (C program prover developed by the commissariat à l’énergie atomique) in the verification process of a safety critical avionics program.

Key words

Proof of propertiesAvionics programFormal methodUnit VerificationUnit TestingDO 178B
Download to read the full conference paper text

Copyright information

© Springer Science + Business Media, Inc. 2004

Authors and Affiliations

  • Jean Souyris
    • 1
  • Denis Favre-Félix
    • 1
  1. 1.Airbus FranceFrance