Model checking flight control systems: The Airbus experience

Abstract

This paper presents experiments realized by Airbus on model checking a safety critical system, lessons learnt and ways forward to extend the industrial use of formal verification at design level.