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. © 2004 Springer Science + Business Media, Inc.
CITATION STYLE
Souyris, J., & Favre-Félix, D. (2004). Proof of properties in avionics. In IFIP Advances in Information and Communication Technology (Vol. 156, pp. 527–535). Springer New York LLC. https://doi.org/10.1007/978-1-4020-8157-6_48
Mendeley helps you to discover research relevant for your work.