Welcome to Advanced Topics in Formal Verification!
This semester we will look at Automata, Logic, and Games (see Syllabus for details).
Lectures will be held on Thursdays, 10:30 -- 12:30.Credit points: 2.0
Please follow the Announcements tab for updated information.
Evaluation in the course will consist of exercises, and either a large final exercise, or a final exam, depending on COVID.
Prerequisites: 236343 and 234129.