WS 2022/23: Decision Procedures for Verification

Exercise sheets

The recordings of the exercise sessions from WS 2021/22 can be found here.

Please note that while the first 5 or 6 exercises are identical with the ones from WS 2021/22,
after exercise 7 the exercise sheets from WS 2021/22 and WS 2022/23 are different at places
(the same exercises were included sometimes on different exercise sheets).

The audio-commented versions refer to the exercises from WS 2021/22
(the dates after Exercise 5 should be ignored).