A Comparison of Two SystemC/TLM Semantics for Formal Verification.

Claude Helmstetter Olivier Ponsini

Published in: MEMOCODE (2008)

Keyphrases

formal verification
model checking
model checker
automated verification
bounded model checking
symbolic model checking
logic programming
semantic information
formal semantics
program slicing
expert systems
test set
rough set theory
test bed
formal methods