Proof of Properties in Avionics

  • Jean Souyris
  • Denis Favre-Félix
Part of the IFIP International Federation for Information Processing book series (IFIPAICT, volume 156)

Abstract

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 

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