Program verification using templates over predicate abstraction.

Saurabh Srivastava Sumit Gulwani

Published in: PLDI (2009)

Keyphrases

first order logic
high level
artificial intelligence
relational databases
data abstraction
decision theoretic planning
deformable templates
logic rules
database
databases
image segmentation
image sequences
bayesian networks
search algorithm
evolutionary algorithm