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 mainly based on the following book:- Christel Baier and Joost-Pieter Katoen, Principles of Model Checking, MIT Press, 2008