User Tools

Site Tools


plt17:lecture_33

Differences

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

Link to this comparison view

plt17:lecture_33 [2017/11/20 14:51] (current)
hossein created
Line 1: Line 1:
 +====== Lecture 33 ======
 +Lecture 33  {{ :​plt17:​lectures:​lect33:​main.pdf | Slides}}
 +(Automata Theoretic Model Checking)
  
 +=== Readings ===
 + 
 +  * Christel Baier and Joost-Pieter Katoen, "​Principles of Model Checking",​ Chapter 5 (Section 5.2 is about Automata theoretic model checking)
plt17/lecture_33.txt ยท Last modified: 2017/11/20 14:51 by hossein