SVV - Timetable


N Data Time Room Kind Topic
1t Mon 17/09 14-16 X1 theory Introduction to model checking and to control-intensive transition systems [up to slide 79]
2t Tue 18/09 11-13 X1 theory Data-intensive transition systems [from slide 80] and the modelling parallel systems [up to slide 72]
3t Thu 20/09 16-18 N1 theory Transition systems for modelling communicating [from slide 77] and channel systems
4t Fri 21/09 11-13 N1 theory On linear time properties
1e Mon 24/09 14-16 X1 exe First exercise sheet
5t Thu 27/09 16-18 X1 theory On safety
6t Tue 02/10 11-13 X1 theory On liveness and fairness [up to slide 100]
7t Wed 03/10 11-13 X2 theory Fairness assumptions [from slide 101] and regular safety properties [up to slide 48]
8t Thu 04/10 16-18 X1 theory Verifying regular safety [from slide 49]
2e Fri 05/10 11-13 N1 exe Second exercise sheet
9t Mon 08/10 14-16 X1 theory ω-regular properties
3e Thu 11/10 16-18 X1 theory Checking exercises
10t Mon 15/10 14-16 X1 theory Model checking with Büchi automata [up to slide 133]
11t Tue 16/10 11-13 X1 theory Syntax and semantics of linear temporal logic
4e Fri 19/10 11-13 X1 theory Third exercise sheet
12t Mon 22/10 14-16 X1 theory ---
13t Thu 25/10 16-18 X1 theory ---
5e Fri 26/10 11-13 X1 theory Fourth exercise sheet
-- Tue 30/11 16-18 N1 exe Mid-term
-- Fri 09/11 11-13 X1 exe Correction of mid-term