Decision Procedures for Verification
Exercises
General instructions.
The exercises will be made available online on Monday evening or Tuesday morning.
The solutions have to be submitted on Friday, the same week, before 17:00.
The solutions will be discussed the next Monday, in the exercise session.
Joint solutions prepared by up to two persons are allowed (but not
encouraged).