en | de

Introduction to Model Checking

master program

VO1  WS 2007/2008  703503

Schedule

January 21 - Model Checking Lecture, Repetition of Selected Topics (13)

January 14 - CTL* and CTL* Model Checking (12)

January 7 - CTL Model Checking (11)

December 10 - CTL (10)

December 3 - Complexity of LTL Model Checking (9)

November 26 - LTL to Büchi Automata (8)

November 19 - LTL (7)

November 12 - Büchi Automata, Part 2 (6)

November 5 - Büchi Automata, Part 1 (5)

October 29 - Promela (4)

October 22 - Channel Systems (3)

October 15 - Transition Systems and Program Graphs (2)

October 8 - Overview (1)