Introduction
The course covers the following topics:- Modeling of software systems (Promela)
- Linear time temporal logic
- Buechi automata
- Model checking algorithms and their complexity
- Computational tree logic and extensions
Literature
The course is based on the following book:-
Christel Baier and Joost-Pieter Katoen,
Principles of Model Checking,
to appear soon.