Disjunctive Interpolants for Horn-Clause Verification (Extended Technical Report)

Philipp Rümmer Hossein Hojjat Viktor Kuncak

Published in: CoRR (2013)

Keyphrases

technical report
horn clauses
first order logic
logic programs
inference rules
inductive logic programming
formal verification
model checking
signature verification
programming language
general purpose
computer vision
databases
training examples
database queries
face verification
prior knowledge
learning algorithm