Property Directed Equivalence via Abstract Simulation.

Grigory Fedyukovich Arie Gurfinkel Natasha Sharygina

Published in: CAV (2) (2016)

Keyphrases

simulation model
high level
information retrieval
video sequences
simulation environment
simulation models
database
databases
image processing
multi agent
wide range
low level
rough sets
higher level
equivalence relation