Interpolating Property Directed Reachability.

Yakir Vizel Arie Gurfinkel

Published in: CAV (2014)

Keyphrases

state space
information retrieval
database systems
databases
image processing
website
preprocessing
control system