Access Restriction

Author Whalen, Michael W. ♦ Cofer, Darren D. ♦ Miller, Steven P.
Source ACM Digital Library
Content type Text
Publisher Association for Computing Machinery (ACM)
File Format PDF
Language English
Abstract A translator framework enables the use of model checking in complex avionics systems and other industrial settings.
Description Affiliation: Rockwell Collins, Cedar Rapids, IA (Miller, Steven P.; Cofer, Darren D.) || University of Minnesota Software Engineering Center, Minneapolis, MN (Whalen, Michael W.)
Age Range 18 to 22 years ♦ above 22 year
Educational Use Research
Education Level UG and PG
Learning Resource Type Article
Publisher Date 2005-08-01
Publisher Place New York
Journal Communications of the ACM (CACM)
Volume Number 53
Issue Number 2
Page Count 7
Starting Page 58
Ending Page 64

Open content in new tab

   Open content in new tab
Source: ACM Digital Library