Schedule

May 27 - Open Discussion

May 20 - Discussion of Exercises

May 8 and 15 - Real-Time Systems and Timed CTL (5)

• transparencies
     1-up    2-up    4-up

May 6 - Simulations (4), Discussion of Exercises, Evaluation Sheets

April 22 and 29 - Bisimulations and Simulations (4)

April 17 - Discussion of Exercises, Abstractions (4)

• transparencies
     1-up    2-up    4-up

April 15 - The μ-Calculus (3) and Discussion of Exercises

April 8 and 10 - The μ-Calculus (3)

• transparencies
     1-up    2-up    4-up

April 1 - Discussion of Exercises

March 11 and 13 - F1S, S1S, and Translation into Büchi-Automata (2)

• transparencies
     1-up    2-up    4-up

March 4 - Overview and Model Checking On-the-Fly (1)

• transparencies
     1-up    2-up    4-up