User Tools

Site Tools


plt17:lecture_33

Lecture 33

Lecture 33 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