הטכניון - מכון טכנולוגי לישראל Technion - Israel Institute of Technology Технион - израильский технологический институт ألتخنيون - معهد تكنولوجي لإسرائيل

02360624 - נושאים מתקדמים בשיטות אימות ה' 02360624 - Advanced Topics in Formal Verification L 02360624 - Advanced Topics in Formal Verification L 02360624 - Advanced Topics in Formal Verification L

חורף 2020-2021Winter 2020-2021Зима 2020-2021شتاء 2020-2021

מידע כללי General Information Общая Информация معلومات عامة

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.

Also, please read the Syllabus page for additional details (including Zoom link).

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.