Formal Verification versus Simulation in Functional Verification -- An Industry Perspective.

Klaus-Dieter Schubert

Published in: MBMV (2002)

Keyphrases

functional verification
formal verification
model checking
bounded model checking
model checker
automated verification
symbolic model checking
program slicing
hardware software
data processing