Qualification of a Model Checker for Avionics Software Verification
NFM, pp. 404-419, 2017.
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
Full Text (Upload PDF)
PPT (Upload PPT)