User Tools

Site Tools


plt17:lecture_23

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

plt17:lecture_23 [2017/10/27 14:41] (current)
hossein created
Line 1: Line 1:
 +====== Lecture 23 ======
 +Lecture 23  {{ :​plt17:​lectures:​lect23:​main.pdf | Slides}}
 +(Verification by Solving Horn Clauses)
  
 +=== Resources ===
 + 
 +  * Nikolaj Bjørner, Arie Gurfinkel, Ken McMillan, Andrey Rybalchenko:​ [[https://​link.springer.com/​chapter/​10.1007/​978-3-319-23534-9_2|"​Horn Clause Solvers for Program Verification"​]]
 +  * Philipp Rümmer, Hossein Hojjat, Viktor Kuncak: [[https://​link.springer.com/​chapter/​10.1007%2F978-3-642-39799-8_24|"​Disjunctive Interpolants for Horn-Clause Verification"​]]
 +
 +
 +
 +    ​
plt17/lecture_23.txt · Last modified: 2017/10/27 14:41 by hossein