What's Between Simulation and Formal Verification? (Extended Abstract).

Published in: DAC (1998)

Keyphrases

extended abstract
formal verification
model checking
model checker
symbolic model checking
simulation model
bounded model checking
expert systems
automated verification
formal specification
real time
genetic algorithm
simulation study
program slicing