Symbolic model checking on SystemC designs.

Chun-Nan Chou Yen-Sheng Ho Chiao Hsieh Chung-Yang (Ric) Huang

Published in: DAC (2012)

Keyphrases

symbolic model checking
model checking
partial observability
formal verification
conformant planning
deterministic domains
symbolic representation
binary decision diagrams
model checker
temporal logic
domain specific
formal specification
machine learning
finite state
planning domains
formal methods