An Iterative Framework for Simulation Conformance.

Sagar Chaki Edmund M. Clarke Somesh Jha Helmut Veith

Published in: J. Log. Comput. (2005)

Keyphrases

main contribution
database
real time
databases
data mining
image processing
high level
expert systems
lightweight
computational model
theoretical framework
key features
simulation model
simulation environment