Sciweavers

Share
ICSE
2009
IEEE-ACM

Model checking flight control systems: The Airbus experience

9 years 4 months ago
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.
Thomas Bochot, Pierre Virelizier, Hél&egrav
Added 19 Feb 2011
Updated 19 Feb 2011
Type Journal
Year 2009
Where ICSE
Authors Thomas Bochot, Pierre Virelizier, Hélène Waeselynck, Virginie Wiels
Comments (0)
books