People
Isaac Amundson
Junaid Babar
Darren Cofer
Jennifer Davis
David Hardin
Cong Liu
Projects
CASE
AAHAA
AMASE
HACMS
Past Projects
Tools
AGREE
FuzzM
JKind
Resolute
SpeAR
Publications
Facebook
Software model checking takes off
S. Miller,
M. Whalen
,
D. Cofer
Communications of the ACM, 2010
A translator framework enables the use of model checking in complex avionics systems and other industrial settings.