User Tools

Site Tools


plt17:lecture_22

Differences

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

Link to this comparison view

plt17:lecture_22 [2017/10/25 18:53] (current)
hossein created
Line 1: Line 1:
 +====== Lecture 22 ======
 +Lecture 22  {{ :​plt17:​lectures:​lect22:​main.pdf | Slides}}
 +(Verification Condition Generation (II))
  
 +=== Resources ===
 + 
 +  * Try Z3 [[https://​rise4fun.com/​Z3|online]]
plt17/lecture_22.txt ยท Last modified: 2017/10/25 18:53 by hossein