Design Validation: Formal Verification vs. Simulation vs. Functional Testing.

Bernd Koenemann J. Monzel T. Powell N. Saxena K. Wagner

Published in: VTS (1996)

Keyphrases

formal verification
functional verification
model checking
automated verification
symbolic model checking
model checker
program slicing
knowledge based systems
simulation model
design methodology
simulation environment
simulation software
bounded model checking