User Tools

Site Tools


plt17:lecture_36

Differences

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

Link to this comparison view

plt17:lecture_36 [2017/12/01 14:54] (current)
hossein created
Line 1: Line 1:
 +====== Lecture 36 ======
 +Lecture 36  {{ :​plt17:​lectures:​lect36:​main.pdf | Slides}}
 +(Software Model Checking)
  
 +=== Readings ===
 + 
 +  * Henzinger, T. A., R. Jhala, et al. "Lazy Abstraction."​ Principles of Programming Languages ACM 37, no. 1 (2002): 58–70.
 +  * Ball, T., R. Majumdar, et al. "​Automatic Predicate Abstraction of C Programs."​ ACM SIGPLAN Notices 36, no. 5 (2001): 203–13.
plt17/lecture_36.txt · Last modified: 2017/12/01 14:54 by hossein