Lecture 23 Slides (Verification by Solving Horn Clauses)

• Nikolaj Bjørner, Arie Gurfinkel, Ken McMillan, Andrey Rybalchenko: "Horn Clause Solvers for Program Verification"
• Philipp Rümmer, Hossein Hojjat, Viktor Kuncak: "Disjunctive Interpolants for Horn-Clause Verification"