Extra Slides in Tutorial 3
|
Dear students, Note that slides 19-26 in Tutorial 3 (Symbolic Execution) are provided as extra material. They are not part of the required course material. The Course Staff |
| עדכון אחרון ב-20/11/2025, 09:08:56 Last updated on 20/11/2025, 09:08:56 Последняя модификация20/11/2025, 09:08:56 تمت الحتلنة الأخيرة ب-20/11/2025, 09:08:56 |
Hands-on Exercise with Dafny
|
Dear students, This is a reminder that tomorrow we will have a hands-on exercise with Dafny during the lecture. Please make sure to bring you laptops and have VS Code + Dafny Extension installed. The Course Staff |
| עדכון אחרון ב-17/11/2025, 20:37:02 Last updated on 17/11/2025, 20:37:02 Последняя модификация17/11/2025, 20:37:02 تمت الحتلنة الأخيرة ب-17/11/2025, 20:37:02 |
HW1
|
HW1 has been published. TA in charge: Omer Due date: 23.11 at 23:59. A workshop for this assignment will be held on Wednesday, 19.11, from 12:30 to 13:30 in Taub 7. Reminder: Submissions are in pairs. Good luck! The Course Staff |
| עדכון אחרון ב-20/11/2025, 09:06:54 Last updated on 20/11/2025, 09:06:54 Последняя модификация20/11/2025, 09:06:54 تمت الحتلنة الأخيرة ب-20/11/2025, 09:06:54 |
Dafny
|
Dear all, During today's lecture we saw a short demo of Dafny. In the coming weeks (we'll tell you when) will have a hands on exercises in class. For now, make sure to install VS Code and then install the Dafny extension. The Course Staff |
| פורסם ב-4/11/2025, 17:47:46 Created on 4/11/2025, 17:47:46 Создано4/11/2025, 17:47:46 تم النشر ب-4/11/2025, 17:47:46 |
Schedule Update: Daria’s Tutorial on 29.10
|
Dear students, Daria’s tutorial scheduled for 29.10 is cancelled and will be made up later in the semester. Her first tutorial will take place on 5.11. Best regards, The Course Staff |
| פורסם ב-21/10/2025, 10:18:57 Created on 21/10/2025, 10:18:57 Создано21/10/2025, 10:18:57 تم النشر ب-21/10/2025, 10:18:57 |
Welcome to Introduction to Software Verification (02360342)
|
Dear students, Welcome to the Introduction to Software Verification (02360342) course! This is the first official message from the course staff. All registered students should receive this email. If you know anyone who is registered but did not, please ask them to sign up through the “Auto Update” feature on the course homepage. All announcements, notifications, and updates will be posted on the course website (https://webcourse.cs.technion.ac.il/02360342) and sent via this mailing list. Please make sure to check these sources regularly for the latest information. Be sure to review the course guidelines in the “Syllabus” tab. You can also find the planned release dates for homework assignments in the “Homework” tab (Please note that these dates are subject to change). To arrange office hours, please contact us in advance - we’ll be happy to help with any questions or difficulties throughout the semester. The first lecture will be held on Tuesday (4.11). Most of the semester will follow a flipped classroom format, which will be explained in detail during this session. Tutorials will be held in person at their scheduled times. Course schedule: - Lecture (Yakir): Tuesday, 10:30 - Taub 7 - Tutorial (Omer): Tuesday, 14:30 - Taub 7 - Tutorial (Daria): Wednesday, 11:30 - Taub 5 We look forward to a productive and engaging semester together. Please don’t hesitate to reach out with any questions. Best regards, The Course Staff |
| עדכון אחרון ב-21/10/2025, 10:04:08 Last updated on 21/10/2025, 10:04:08 Последняя модификация21/10/2025, 10:04:08 تمت الحتلنة الأخيرة ب-21/10/2025, 10:04:08 |