Verification

News

21.04.2005: Certificates can be collected from Brigitta Hansen, room 602, MPI.

22.02.2005: Results of final exam have been sent to you via email.

09.02.2005: List of admittance for the final exam is online.

02.02.2005: No lecture on Faschingsmontag, February 7. Instead of the lecture, there will be an extended office hour in Rm. 506, Building 45. The tutorial will take place as planned (but feel free to attend one of the other groups this week instead).

11.01.2005: Tutorials start again from Monday, January 24.

10.12.2004: No lecture on Wednesday, December 22.

06.12.2004: Informations regarding written exams are available.

02.12.2004: SPIN office hour on Monday 06.12.2004 is postponed to Wednesday 08.12.2004, 13:00-14:00.

01.12.2004: New reference Complementing Büchi automata.

23.11.2004: New reference online.

02.11.2004: Deadline for SPIN assignments (1.4 & 1.5) extended to Friday, 5.11.2004. Please read the submission guidelines.

29.10.2004: Please submit your (non-SPIN) assignments on Wednesdays before the lecture to the mailbox in the corridor between the old and the new CS building. Submission regulations for the SPIN assignments will be announced until Tue, 2.11.2004.

28.10.2004: List of participants online. Registration closes on 5.11.2004

28.10.2004: No lecture will be given on Wednesday, 3.11.2004

28.10.2004: Tutorials will start from Monday, 8.11.2004.

22.10.2004: First exercise sheet will be handed out on Wednesday, 27.10.04.

22.10.2004: New reference Principles of Model Checking.

People & Places

Instructors: Bernd Finkbeiner Andreas Podelski Patrick Maier

Lecture Room: HS 001 Building 45 Lecture Time: Mondays and Wednesdays 11:15-12:45 Office Hours: Wednesdays 14:00-15:00 SPIN-Office Hour: Mondays 13:00-14:00, MPII R618

Tutors: Thomas Wies Mo, 16h, Room 024 Building 46 Eyad Alkassar Wed, 16h, Room 015 Building 45 Ruzica Piskac Th, 16h, Room 016 Building 45

Hauptstudium: Stammvorlesung theoretische Informatik Wintersemester 2004/2005