Seminar of Model Checking

Presentation 1  (Chapter 1  of  the book "Principles of Model Checking", Christel Baler et al. MIT Press), march 12, 2009.

Presentation 2  (Chapter 2, Section 2.1 of  the book "Principles of Model Checking", Christel Baler et al. MIT Press), march 12, 2009.

Presentation 3  (Chapter 2, Section 2.2 of  the book "Principles of Model Checking", Christel Baler et al. MIT Press), march 19, 2009.

Presentation 4  (Chapter 3, of  the book "Principles of Model Checking", Christel Baler et al. MIT Press), june 12, 2009.

 Presentation 5  (Chapter 1-- Section 1 of  the book "Principles of Model Checking", Christel Baler et al. MIT Press), july 17, 2009.