Week 9
Project
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.
Reading
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.
Reading
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.
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.