Login / Signup
On Bridging Simulation and Formal Verification.
Eugene Goldberg
Published in:
VMCAI (2008)
Keyphrases
</>
formal verification
model checking
bounded model checking
simulation model
symbolic model checking
numerical simulations
temporal logic
model checker
simulation study
simulation models
automated verification
program slicing
data sets
source code
knowledge based systems
simulation environment