Exercises
Exercise sheets will appear every Friday on this webpage. The solution will be discussed in the exercise class.- Exercise 01 (May 8)
- Notes on Exercise 01
- Exercise 02 (May 15)
- Notes on Exercise 02
- Exercise 03 (May 22)
- Notes on Exercise 03
- Exercise 04 (May 29) Source file for the ABNF parser: main.cpp
- Notes on Exercise 04
- Exercise 05 (June 12) Promela model for ABP: alternating.pml
- Notes on Exercise 05
- Exercise 06 (June 19)
- Notes on Exercise 06
- Exercise 07 (July 3)
- Notes on Exercise 07
Example simulator: Simulation.java - Exercise 08 (July 10)
- Notes on Exercise 08
For the exam preparation: Questionnaire (last updated July 19)