SVV - Timetable


N Data Time Room Kind Topic
1t Tue 14/09 11.00-12.45 M1 & meet theory An introduction to model checking
2t Wed 15/09 14.15-16.00 M1 & meet theory On transition systems and the modelling of parallel/communicating systems
3t Thu 16/09 14.15-16.00 M1 & meet theory Transition systems for modelling channel systems
1e Wed 22/09 14.15-16.00 M1 & meet exe First exercise sheet
4t Thu 23/09 14.15-16.00 M1 & meet theory On linear time properties
5t Tue 28/09 11.00-12.45 M1 & meet theory On safety
6t Wed 29/09 14.15-16.00 M1 & meet theory On liveness and fairness
2e Thu 30/09 14.15-16.00 M1 & meet exe Second exercise sheet
7t Tue 05/10 11.00-12.45 M1 & meet theory Regular safety properties
8t Wed 06/10 14.15-16.00 M1 & meet theory ω-regular properties [up to slide 137]
9t Thu 07/10 14.15-16.00 M1 & meet theory Closure results for ω-regular properties [from slide 138]
10t Tue 12/10 11.00-12.45 M1 & meet theory Model checking with Büchi automata
3e Wed 13/10 14.15-16.00 M1 & meet exe Third exercise sheet
11t Thu 14/10 14.15-16.00 M1 & meet theory Syntax and semantics of linear temporal logic [up to slide 216]
12t Tue 19/10 11.00-12.45 M1 & meet theory LTL formulas: normal forms and fairness [from slide 217]
13t Wed 20/10 14.15-16.00 M1 & meet theory Model checking with Büchi automata [skipping from slide 209 up to slide 310]
4e Thu 21/10 14.15-16.00 M1 & meet exe Fourth exercise sheet (and a cheating tool)
14t Tue 26/10 11.00-12.45 M1 & meet theory Syntax and semantics of computational tree logic [up to slide 120]
15t Wed 27/10 14.15-16.00 M1 & meet theory Equivalence of CTL formulas [from slide 121]
5e Tue 02/11 11.00-12.45 M1 & meet exe Fifth exercise sheet
16t Wed 03/11 14.15-16.00 M1 & meet theory CTL vs LTL
17t Thu 04/11 14.15-16.00 M1 & meet theory Some model checking [skipping from slide 99 up to slide 125]
18t Tue 09/11 11.00-12.45 M1 & meet theory On fair CTL
19t Wed 10/11 14.15-16.00 M1 & meet theory On CTL*
20t Thu 11/11 14.15-16.00 M1 & meet theory Equivalences for transitions systems
6e Tue 16/11 11.00-12.45 M1 & meet exe Sixth exercise sheet
7e Wed 17/11 14.15-16.00 M1 & meet exe Ricevimento collettivo
8e Thu 18/11 14.15-16.00 M1 & meet exe Mid-term