People
Isaac Amundson
Junaid Babar
Darren Cofer
Jennifer Davis
David Greve
David Hardin
Projects
CASE
AAHAA
AMASE
HACMS
Past Projects
Tools
AGREE
FuzzM
JKind
Resolute
SpeAR
Publications
Facebook
Tools
AGREE
: Assume Guarantee Reasoning Environment
FuzzM
: Model Based Fuzzer
JKind
: An infinite-state model checker for safety properties
Resolute
: An assurance case language for architecture models
SpeAR
: Specification and Analysis of Requirements