User Tools

Site Tools


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