There will be no lecture today (24/6)
|
Hello all, Unfortunately, there will be no lecture today. Use these two hours to work on the new home assignment. See you next week, Yakir |
| פורסם ב-24/6/2026, 08:42:21 Created on 24/6/2026, 08:42:21 Создано24/6/2026, 08:42:21 تم النشر ب-24/6/2026, 08:42:21 |
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 |