PhD in Computer Science (last activated in 2013)

Course partially running (all years except the first)

Model Checking

April 2008

Academic staff
Roberto Segala

Series to which this belongs

21° ciclo
22° ciclo
23° ciclo


The course covers the problem of model checking, starting with the main logics used in the literature (LTL, CTL, CTL*), the main algorithms and symbolic methods, techniques to reduce complexity (symmetry reduction, abstract model checking), and methods to manage advanced paradigms like real-time and stochastic systems.