Model checking flight control systems: The Airbus experience

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.

• Type: Journal
• Year: 2009
• Where: ICSE
• Authors: Thomas Bochot, Pierre Virelizier, Hélène Waeselynck, Virginie Wiels
• Keywords: Design Level, Formal Verification, ICSE 2009, Safety Critical System, Software Engineering