Is Formal Verification Bound to Remain a Junior Partner of Simulation?

Wolfram Büttner

Published in: CHARME (2005)

Keyphrases

formal verification
model checking
automated verification
symbolic model checking
upper bound
bounded model checking
model checker
lower bound
error bounds
simulation environment
worst case
rough sets
program slicing