Login / Signup
ED&TC 1995: Simulation versus formal verification.
Luc J. M. Claesen
Published in:
IEEE Des. Test Comput. (1995)
Keyphrases
</>
formal verification
model checking
automated verification
model checker
symbolic model checking
simulation models
bounded model checking
simulation model
program slicing
data sets
knowledge based systems
simulation environment