132
click to vote
ICSE
2009
IEEE-ACM
15 years 19 days ago
2009
IEEE-ACM
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 ...