Formal verification meets simulation (tutorial abstract).

Ellen Sentovich David L. Dill Serdar Tasiran

Published in: ICCAD (1999)

Keyphrases

formal verification
model checking
bounded model checking
symbolic model checking
automated verification
model checker
simulation model
high level
low level
heuristic search
simulation models
program slicing