Note: This is an archvied version of our old webpage. Some links might be broken. The current one can be found here.
I7 Logo
Chair for Foundations of Software Reliability and Theoretical Computer Science
Informatik Logo TUM Logo
Model-Checking SS 2011

  News | Basic information | Content | Exercises | Slides | Links

May 4

  • Mailing list subscription
  • Examination modalities are online.
  • Lecture 1 and exercise 1 are online.

May 11

  • Outline of tutorial 2 is online.
  • Exercise sheet 2 is online.

May 14

  • Blackboard notes from lecture 4 are online.
  • Exercise sheet 3 is online.

May 16

  • Blackboard notes from lecture 5 are online.
  • Exercise sheet 4 is online.

May 17

  • Blackboard notes from lecture 6 are online.
  • Exercise sheet 5 is online.

May 23

  • Blackboard notes and outline from lecture 7 are online.
  • Exercise sheet 6 is online.

May 24

  • Blackboard notes from lecture 8 are online.
  • Exercise sheet 7 (part 1) is online.

May 25

  • Exercise sheet 7 (full version) is online.

May 30

June 5

  • Solution to exercise sheet 8 is online.

June 6

  • Blackboard notes from lecture 10 are online.
  • Exercise sheet 9 is online.

June 7

  • Blackboard notes from lecture 11 are online.
  • Exercise sheet 10 is online.

June 20

  • Blackboard notes from lecture 12 are online.
  • Exercise sheet 11 is online.

June 21

  • Blackboard notes from lecture 13 are online.

June 27

  • Blackboard notes from lecture 14 are online.
  • Exercise sheet 12 is online.

June 28

  • Blackboard notes from lecture 15 are online.
  • Exercise sheet 13 is online.

July 4

  • Blackboard notes from lecture 16 are online.

July 5

  • Blackboard notes from lecture 17 are online.
  • Exercise sheet 14 is online.