plt17:lecture_36
Lecture 36
Lecture 36 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