Towards Scalable Verification of Commercial Avionics Software

FREE-DOWNLOADD Bhatt, G Madl, D Oglesby… – 2010
We describe a model-based approach for the automated verification of avionics systems that
has been ap- plied in Honeywell for the certification of complex avionics applications, such as
flight controls and engine controls. The approach uses a symbolic analysis framework for .