Using Coverage to Deploy Formal Verification in a Simulation World.

Vigyan Singhal Prashant Aggarwal

Published in: CAV (2011)

Keyphrases

formal verification
model checking
program slicing
model checker
symbolic model checking
bounded model checking
automated verification
mathematical model
artificial intelligence
expert systems
simulation study
simulation environment
simulation models