Introduction
The course covers the following topics:- Model checking on the fly
- The mu-calculus
- S1S
- Model checking of real-time systems
- Using a Model Checker in Practice
- Controlling the state-space explosion problem
- ...
Literature
The course is mainly based on the following books:- Christel Baier and Joost-Pieter Katoen, Principles of Model Checking, MIT Press, 2008
- Edmund M. Clarke, Orna Grumberg, and Doron A. Peled, Model Checking, MIT Press, 1999