Introduction to system verification. Modeling and verification of discretestate systems. Modeling and verification of real-time and hybrid systems. Modeling an verification of probabilistic systems.
Cristel Baier, Joost-Pieter Katoen - Principles of Model Checking – MIT Press - 2008
Ricevimento: Every hour following class hours.
ARMANDO TACCHELLA (President)
ENRICO GIUNCHIGLIA
Homeworks (10%), final project (50%) and presentation (40%)
At the end of the course students should be able to model, simulate and verify distributed computational units controlling physical processes.
