N 
Data

Time

Room

Kind

Topic

1t 
Mon 17/09 
1416 
X1 
theory 
Introduction to model checking
and to controlintensive transition systems [up to slide 79]

2t 
Tue 18/09 
1113 
X1 
theory 
Dataintensive transition systems [from slide 80]
and the modelling parallel systems [up to slide 72]

3t 
Thu 20/09 
1618 
N1 
theory 
Transition systems
for modelling communicating [from slide 77]
and channel systems

4t 
Fri 21/09 
1113 
N1 
theory 
On linear time properties

1e 
Mon 24/09 
1416 
X1 
exe 
First
exercise sheet

5t 
Thu 27/09 
1618 
X1 
theory 
On safety

6t 
Tue 02/10 
1113 
X1 
theory 
On liveness and fairness
[up to slide 100]

7t 
Wed 03/10 
1113 
X2 
theory 
Fairness assumptions [from slide 101]
and regular safety properties [up to slide 48]

8t 
Thu 04/10 
1618 
X1 
theory 
Verifying regular safety [from slide 49]

2e 
Fri 05/10 
1113 
N1 
exe 
Second
exercise sheet

9t 
Mon 08/10 
1416 
X1 
theory 
ωregular properties

3e 
Thu 11/10 
1618 
X1 
theory 
Checking exercises

10t 
Mon 15/10 
1416 
X1 
theory 
Model checking with Büchi automata
[up to slide 133]

11t 
Tue 16/10 
1113 
X1 
theory 
Syntax and semantics of linear temporal logic

4e 
Fri 19/10 
1113 
X1 
theory 
Third
exercise sheet

12t 
Mon 22/10 
1416 
X1 
theory 


13t 
Thu 25/10 
1618 
X1 
theory 


5e 
Fri 26/10 
1113 
X1 
theory 
Fourth
exercise sheet

 
Tue 30/11 
1618 
N1 
exe 
Midterm

 
Fri 09/11 
1113 
X1 
exe 
Correction of midterm
