University of Minnesota
Software Engineering Center

You are here

Software Model Checking for Avionics SSoftware MSoftware Model Checking for Avionics SSoftware Model Checking for Avionics Systemsystemsodel Checking for Avionics Systemsystems

Date of Publication: 
October 2008
Associated Research Groups: 
Publication Files: 
The adoption of model-based development tools is changing the cost-benefit equation for the industrial use of formal methods. The integration of formal methods such as model checking into software development environments makes it possible to fight increasing cost and complexity with automation and rigor. This paper describes how formal analysis tools can be inserted into a model-based development process to decrease costs and increase quality of safety-critical avionics software.
Proceedings of the 27th Digital Avionics Systems Conference (DASC’08)
@conference{Cofer08:DASC_MC, title={Software Model Checking for Avionics Systems}, booktitle={Proceedings of the 27th Digital Avionics Systems Conference (DASC’08)}, author={Darren Cofer and Michael W. Whalen and Steven P. Miller}, month={October}, year={2008}, address={St. Paul, MN}, organization={IEEE} }