Disjunctive Interpolants for Horn-Clause Verification.
Philipp RümmerHossein HojjatViktor KuncakPublished in: CAV (2013)
Keyphrases
- horn clauses
- logic programs
- inference rules
- first order logic
- inductive logic programming
- answer sets
- model checking
- verification method
- formal verification
- signature verification
- database queries
- fault models
- artificial intelligence
- software engineering
- probability distribution
- asynchronous circuits
- expert systems
- computer vision