Formal Specification and Verification
The exercises will be made available online on Thursday evening or Friday morning.
If nothing else is specified on the exercise sheet, the solutions have to be submitted
on Wednesday (before the next exercise), before 11:00.
The solutions will be discussed on Thursday, in the exercise session.