Week 9


The description of the exam project is available from the course home page. Please keep in mind that the first deadline is March 8, 12:00.

Lecture Monday (25.02.2013)

The sixth lecture will show how to ensure safety (nothing bad ever happens) and liveness (something good eventually happens) properties.


Chapter 7

Lecture Thursday (28.02.2013)

The seventh lecture will be about going all the way for concurrent programs - from requirements to models to implementation.


Chapter 8

Study Groups

1) Read the project description thoroughly and discuss in the group those points that are not clear to you (yet).

2) Do Exercises 7.6 - 7.7.

3) Do Exercise 7.5 after having done 7.4 in the exercises.


1) Do Exercises 7.1 - 7.4.

2) Do Exercises 8.1 - 8.2.

3) If you are fast, also do Exercise 8.3.

Design by 1234.info | Modified by Peter Schneider-Kamp | CSS 2.0