Formal Specification and Verification
Exercises
General instructions.
The exercises will be made available online on Wednesday evening or Thursday morning.
The solutions have to be submitted on Wednesday (in the next week), before 11:00.
The solutions will be discussed on Thursday, in the exercise session.