A testbench specification language for SystemC verification.

Giuseppe Di Guglielmo Graziano Pravadelli

Published in: CODES+ISSS (2012)

Keyphrases

specification language
symbolic execution
formal specification
model checking
model checker
description language
programming language
formal methods
requirements specification
formal verification
software environment
database
object oriented
domain specific
fine grained
petri net