University of Minnesota
Software Engineering Center
/

You are here

Software Model Checking Takes Off

Date of Publication: 
February 2010
Associated Research Groups: 
Abstract: 
The increasing popularity of model-based development and the growing power of model checkers are making it practical to use formal verification for important classes of software designs. A barrier to doing this in an industrial setting has been the need to translate the commercial modeling languages developers use into the input languages of the verification tools. This paper describes a translator framework that enables the use of model checking and theorem proving on complex avionics systems and describes its use in three industrial case studies.
Publisher: 
ACM
Venue: 
Communications of the ACM, Volume 53, No 2.
bibtex: 
@article{Miller10:CACM, author = {Miller, Steven P. and Whalen, Michael W. and Cofer, Darren D.}, title = {Software model checking takes off}, journal = {Commun. ACM}, volume = {53}, number = {2}, year = {2010}, issn = {0001-0782}, pages = {58--64}, doi = {http://doi.acm.org/10.1145/1646353.1646372}, publisher = {ACM}, address = {New York, NY, USA}, }