Login / Signup
Formal Verification of SystemC Designs using the BLAST Software Model Checker.
Paula Herber
Bettina Hünnemeyer
Published in:
ACES-MB@MoDELS (2014)
Keyphrases
</>
formal verification
model checker
model checking
program slicing
formal methods
symbolic model checking
test suite
temporal logic
bounded model checking
automated verification
description language
test cases
set theory
transition systems
specification language
source code
formal specification
software development