Formal verification of systemc designs using a petri-net based representation.

Daniel Karlsson Petru Eles Zebo Peng

Published in: DATE (2006)

Keyphrases

formal verification
model checking
automated verification
image representation
symbolic model checking
neural network
software engineering
model checker
expert systems
programming language
representation scheme
bounded model checking