Formal Specification and Verification
Exercises
General instructions.
The exercises will usually be made available online on Tuesday evening or Wednesday morning.
Submission of solutions is not mandatory, but if you want to submit your solutions then - if
nothing
else is specified on the exercise sheet - they have to be submitted
on Sunday
(before the next exercise), before 12:00.
The solutions will be discussed on Monday, in the exercise session.