Proof of Properties in Avionics

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

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

Part of the IFIP International Federation for Information Processing book series (IFIPAICT, volume 156)
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 properties Avionics program Formal method Unit Verification Unit Testing DO 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

Personalised recommendations