Model-Checking SS 2010

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

July 13

• Exercise 8 is online.

June 15

• Exercise 6 is online.

May 31

• Final exam:
  Date: Monday, July 26, 2010.
  Time: 14:15 - 16:45
  Where: MI HS 2
  
• Tutorial on Tuesday, June 1st at 4pm (to compensate for June 3rd).
• Mid-term exam:
  Time&date: During tutorial on June 10.
  Scope: You can suggest problem statements for this exam via e-mail until June 7. We will consider material from lectures 1-12.
• Due date for Exercise 4 is June 7, 9:55am CET.

May 11

• This week's tutorial is moved from Thu, May 13th, to Wed, May 12th. Same time and place.
• The webpage now contains pointers to the script on interpolation and a chapter on propositional logic, see content.
• The current homework deadline is extended. The assignment is extended. We will discuss the previous assignment and the extension on Wednesday.

April 22

A simple algorithm and its proof put online. See content.

April 21

Grading and examination rules are determined. See basic information.

April 20

• Exercises 1 and 2 are online.
• Lecture room moved to 03.09.014
• Textbook determined: Software Model Checking (a survey), by Ranjit Jhala and Rupak Majumdar

February 26

Page Created.

Mailing list

Subscription