An effective model extraction method with state space compression for model checking SystemC TLM designs.

Yanyan Gao Xi Li

Published in: ICSAMOS (2013)

Keyphrases

model checking
state space
temporal logic
model checker
finite state machines
temporal properties
search space
state variables
reinforcement learning