Qualification of a Model Checker for Avionics Software Verification

NFM, pp. 404-419, 2017.

Cited by: 0|Bibtex|Views2|Links
EI

Abstract:

Formal methods tools have been shown to be effective at finding defects in safety-critical systems, including avionics systems in commercial aircraft. The publication of DO-178C and the accompanying formal methods supplement DO-333 provide guidance for aircraft manufacturers and equipment suppliers who wish to obtain certification credit ...More

Code:

Data:

Your rating :
0

 

Tags
Comments