C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Kratos - A Software Model Checker for SystemC.
Alessandro Cimatti
Alberto Griggio
Andrea Micheli
Iman Narasamdya
Marco Roveri
Published in:
CAV (2011)
Keyphrases
</>
model checker
formal methods
model checking
formal verification
test suite
source code
formal specification
software development
temporal logic
description language
symbolic model checking
test cases
artificial intelligence
case study
image analysis
software architecture