Approximate reachability with combined symbolic and ternary simulation.

Michael L. Case Jason Baumgartner Hari Mony Robert Kanzelman

Published in: FMCAD (2011)

Keyphrases

simulation models
simulation model
information systems
high level
mathematical model
combining multiple
real time
information retrieval
computer vision
search space
simulation environment
transitive closure