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