Sign in
Linking Simulation with Formal Verification at a Higher Level.
Serdar Tasiran
Yuan Yu
Brannon Batson
Published in:
IEEE Des. Test Comput. (2004)
Keyphrases
</>
formal verification
higher level
model checking
low level
model checker
automated verification
lower level
bounded model checking
simulation models
symbolic model checking
simulation model
program slicing
high level
simulation environment
numerical simulations
object oriented
multi agent