User Tools

Site Tools


plt17:lecture_35

Differences

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

Link to this comparison view

plt17:lecture_35 [2017/11/29 19:40] (current)
hossein created
Line 1: Line 1:
 +====== Lecture 35 ======
 +Lecture 35  {{ :​plt17:​lectures:​lect35:​main.pdf | 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