Proof of Properties in Avionics

Purchase on Springer.com

$29.95 / €24.95 / £19.95*

* Final gross prices may vary according to local VAT.

Get Access

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.