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

02360624 - Advanced Topics in Formal Verification L 02360624 - Advanced Topics in Formal Verification L 02360624 - Advanced Topics in Formal Verification L 02360624 - Advanced Topics in Formal Verification L

אביב 2025-2026Spring 2025-2026Весна 2025-2026ربيع 2025-2026

הודעות Announcements Сообщения اعلانات

Welcome to Advanced Methods in Formal Verification

Hi all,

Welcome to Advanced Methods in Formal Verification.

The Zoom link for the lectures is: https://technion.zoom.us/j/99715936760
Please note that the prerequisites for this course are:
Logic for CS (2340292) and Introduction to Software Verification (2360342). These are mandatory and will be enforced automatically.

Good luck!

Yakir

פורסם ב-9/4/2026, 15:34:59 Created on 9/4/2026, 15:34:59 Создано9/4/2026, 15:34:59 تم النشر ب-9/4/2026, 15:34:59