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.