en | de

Model Checking

Masterstudium

VO2  SS 2008  703521

Schedule

May 27 - Open Discussion

May 20 - Discussion of Exercises

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

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

April 22 and 29 - Bisimulations and Simulations (4)

April 17 - Discussion of Exercises, Abstractions (4)

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

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

April 1 - Discussion of Exercises

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

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