Week 3 Lecture – No Pre-Class Videos
|
Dear students, There are no videos to watch before next week's lecture (Tuesday, 17.11). The lecture will be a full two-hour in-class session, from 10:30 to 12:30 in Taub 7. Best regards, The Course Staff |
| פורסם ב-11/11/2026, 09:00:01 Created on 11/11/2026, 09:00:01 Создано11/11/2026, 09:00:01 تم النشر ب-11/11/2026, 09:00:01 |
HW1
|
HW1 has been published under Assignments. Due date: Tuesday, 24.11, at 23:59. Submit in pairs, electronically, through the course website. Late submission: up to 3 days, 10 points off per day. A workshop for this assignment will be held on Wednesday, 18.11, from 12:30 to 13:30 in Taub 8. Good luck! The Course Staff |
| פורסם ב-10/11/2026, 08:55:22 Created on 10/11/2026, 08:55:22 Создано10/11/2026, 08:55:22 تم النشر ب-10/11/2026, 08:55:22 |
Week 2 Video Lectures Now Available
|
Dear students, The week 2 videos are available under Course Material → Lectures → Before Class. Please watch them before the next lecture on 10.11. Best regards, The Course Staff |
| עדכון אחרון ב-5/11/2026, 14:42:30 Last updated on 5/11/2026, 14:42:30 Последняя модификация5/11/2026, 14:42:30 تمت الحتلنة الأخيرة ب-5/11/2026, 14:42:30 |
Welcome to Introduction to Software Verification (02360342)
|
Dear students, Welcome to Introduction to Software Verification (02360342)! All registered students should receive this email. If you know someone who is registered but did not receive it, please ask them to sign up through the "Auto Update" feature on the course homepage. All announcements and updates will be posted on the course website (https://webcourse.cs.technion.ac.il/02360342) and sent via this mailing list. Please check both regularly. Please review the course guidelines in the "Syllabus" tab. The planned release dates for homework assignments are listed in the "Homework" tab (please note that these dates are subject to change). Office hours are by appointment. Please contact us in advance (our emails are listed in the "Staff" tab) – we'll be happy to help with any questions or difficulties throughout the semester. Although the semester begins on Wednesday, 28.10, there will be no tutorial that day. The first lecture will be held on Tuesday, 3.11, and tutorials will begin the same week (Tuesday, 3.11 and Wednesday, 4.11). Most of the semester will follow a flipped classroom format, which will be explained in detail during the first lecture. Tutorials will be held in person at their scheduled times. Course schedule: - Lecture (group 10, Yakir): Tuesday, 10:30 – Taub 7 - Tutorial (group 11, Omer): Tuesday, 14:30 – Taub 7 - Tutorial (group 12, Omer): Wednesday, 11:30 – Taub 8 We look forward to a productive and engaging semester together. Best regards, The Course Staff |
| פורסם ב-22/10/2026, 13:37:26 Created on 22/10/2026, 13:37:26 Создано22/10/2026, 13:37:26 تم النشر ب-22/10/2026, 13:37:26 |