plt17:lecture_35
Lecture 35
Lecture 35 Slides (Bounded Model Checking)
Readings
- A Biere, A Cimatti, EM Clarke, O Strichman, Y Zhu, “Bounded model checking”, Advances in computers, 2003
plt17/lecture_35.txt · Last modified: 2017/11/29 19:40 by hossein