PhD in Computer Science (last activated in 2013)

Course partially running (all years except the first)

Model Checking

Period
April 2008

Academic staff
Roberto Segala

Series to which this belongs

21° ciclo
22° ciclo
23° ciclo

Description

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.