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