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, in Taub 4.
Credit points: 2.0Please follow the Announcements tab for updated information (especially related to COVID-19).
Evaluation in the course will consist of exercises, and a large final exercise.
Prerequisites: 236343 and 234129.