Schedule
| Date | Lectures | Labs | Quiz |
|---|---|---|---|
| 09.02 | Introduction | Cedar | Q1 |
| 16.02 | Hoare Logic Fundamentals | Dafny introduction | |
| 23.02 | (Independence Day) | ||
| 02.03 | Weakest Pre-Conditions & Loop Invariants | Sheet 1 (template) | |
| 09.03 | |||
| 16.03 | |||
| 23.03 | |||
| 30.03 | |||
| 06.04 | |||
| 13.04 | |||
| 20.04 | |||
| 27.04 | |||
| 04.05 | |||
| 11.05 | |||
| 18.05 | |||
| 25.05 |