HW5
|
HW5 has been published. TA in charge: Daria Due date: 25.1 at 23:59. A workshop for this assignment will be held on Wednesday, 21.1, from 13:30 to 14:30 in Taub 5. Reminder: Submissions are in pairs. Good luck! The Course Staff |
| פורסם ב-11/1/2026, 08:53:36 Created on 11/1/2026, 08:53:36 Создано11/1/2026, 08:53:36 تم النشر ب-11/1/2026, 08:53:36 |
Daria’s Last Tutorial
|
Dear students, Please note that Daria’s tutorial scheduled for 28.1 is canceled. Instead, Daria will hold a double tutorial session on 21.1, from 11:30 to 13:30 (in Taub 5). The Course Staff |
| עדכון אחרון ב-7/1/2026, 10:18:23 Last updated on 7/1/2026, 10:18:23 Последняя модификация7/1/2026, 10:18:23 تمت الحتلنة الأخيرة ب-7/1/2026, 10:18:23 |
Next Week’s Lecture Is Canceled
|
Dear students, Please note that next Tuesday (13.1) there will be no lecture, due to a previously held complementary session. The tutorials will be held as usual. The Course Staff |
| פורסם ב-7/1/2026, 10:10:14 Created on 7/1/2026, 10:10:14 Создано7/1/2026, 10:10:14 تم النشر ب-7/1/2026, 10:10:14 |
Today's Lecture (6.1)
|
Hello all, Please make sure to bring your laptops to class today. See you soon. |
| פורסם ב-6/1/2026, 09:29:19 Created on 6/1/2026, 09:29:19 Создано6/1/2026, 09:29:19 تم النشر ب-6/1/2026, 09:29:19 |
StarkWare @ CS
|
Hello all, StartWare will visit our faculty on Wednesday (7.1) and will talk about their work with Proof Systems. If you find it interesting, you can register using the following link: https://forms.gle/MFJxNxgZozsrxEvu8 |
| פורסם ב-5/1/2026, 17:17:25 Created on 5/1/2026, 17:17:25 Создано5/1/2026, 17:17:25 تم النشر ب-5/1/2026, 17:17:25 |
HW2 Grades
|
The grades and feedback for the second assignment are now available in the GR system. A document detailing common mistakes is available under the Assignments tab. All appeals must be submitted by email to the TA in charge of this assignment by Thursday, 8.1, at 23:59. Please note that submitting an appeal will result in the entire question being re-evaluated. The Course Staff |
| עדכון אחרון ב-30/12/2025, 21:16:08 Last updated on 30/12/2025, 21:16:08 Последняя модификация30/12/2025, 21:16:08 تمت الحتلنة الأخيرة ب-30/12/2025, 21:16:08 |
HW4
|
HW4 has been published. TA in charge: Daria Due date: 11.1 at 23:59. A workshop for this assignment will be held on Wednesday, 7.1, from 12:30 to 13:30 in Taub 5. Reminder: Submissions are in pairs. Good luck! The Course Staff |
| עדכון אחרון ב-29/12/2025, 11:29:07 Last updated on 29/12/2025, 11:29:07 Последняя модификация29/12/2025, 11:29:07 تمت الحتلنة الأخيرة ب-29/12/2025, 11:29:07 |
Omer’s Complementary Tutorial
|
Hello all, Omer will hold a complementary tutorial on Tuesday, 30.12, from 10:30 to 11:30 in Taub 7. Please note that there will be no in-class lecture on this day. A double lecture will take place the following week (on 6.1). The Course Staff |
| עדכון אחרון ב-25/12/2025, 10:57:37 Last updated on 25/12/2025, 10:57:37 Последняя модификация25/12/2025, 10:57:37 تمت الحتلنة الأخيرة ب-25/12/2025, 10:57:37 |
Omer's Tutorial - 23.12
|
Hello all, Omer's tutorial will NOT take place today. A complementary tutorial will be given at a later date. The course stuff |
| פורסם ב-23/12/2025, 12:29:22 Created on 23/12/2025, 12:29:22 Создано23/12/2025, 12:29:22 تم النشر ب-23/12/2025, 12:29:22 |
Hands-on Exercise with BDDs
|
Dear students, Tomorrow we cover Lectures 8-9. Please bring your laptops and make sure you have the following Python packages installed: dd and graphviz. If these are installed, you should be able to execute: from dd.autoref import BDD from graphviz import render See you tomorrow! |
| פורסם ב-22/12/2025, 21:49:45 Created on 22/12/2025, 21:49:45 Создано22/12/2025, 21:49:45 تم النشر ب-22/12/2025, 21:49:45 |
HW1 Grades
|
The grades and feedback for the first assignment are now available in the GR system. A document detailing common mistakes is available under the Assignments tab. All appeals must be submitted by email to the TA in charge of this assignment by Saturday, 27.12, at 23:59. Please note that submitting an appeal will result in the entire question being re-evaluated. Best regards, The Course Staff |
| פורסם ב-17/12/2025, 09:52:39 Created on 17/12/2025, 09:52:39 Создано17/12/2025, 09:52:39 تم النشر ب-17/12/2025, 09:52:39 |
HW3
|
HW3 has been published. TA in charge: Omer Due date: 28.12 at 23:59. A workshop for this assignment will be held on Wednesday, 24.12, from 12:30 to 13:30 in Taub 4. Reminder: Submissions are in pairs. Good luck! The Course Staff |
| פורסם ב-14/12/2025, 10:19:28 Created on 14/12/2025, 10:19:28 Создано14/12/2025, 10:19:28 تم النشر ب-14/12/2025, 10:19:28 |
Lecture 8
|
Dear students, Next Tuesday (16.12) there will be no in-class lecture. However, you are still requested to watch the recording of Lecture 8 by that date. Omer’s tutorial will take place as usual. Course Staff |
| עדכון אחרון ב-10/12/2025, 12:36:25 Last updated on 10/12/2025, 12:36:25 Последняя модификация10/12/2025, 12:36:25 تمت الحتلنة الأخيرة ب-10/12/2025, 12:36:25 |
Hands-on Exercise with Explicit MC
|
Dear students, Tomorrow we cover Lectures 6-7. Please bring your laptops and make sure you have the following Python packages installed: igraph and matplotlib. If these are installed, you should be able to execute: import igraph as ig import matplotlib.pyplot as plt There will be some treats as well :) See you tomorrow! |
| פורסם ב-8/12/2025, 21:34:10 Created on 8/12/2025, 21:34:10 Создано8/12/2025, 21:34:10 تم النشر ب-8/12/2025, 21:34:10 |
Daria's Complementary Tutorial
|
Dear students, Daria will hold a complementary tutorial next Wednesday, 10.12, from 12:30 to 13:30 in Taub 5, immediately following the usual session. The sessions will cover the material from Tutorials 6 and 7. Course Staff |
| עדכון אחרון ב-1/12/2025, 12:12:37 Last updated on 1/12/2025, 12:12:37 Последняя модификация1/12/2025, 12:12:37 تمت الحتلنة الأخيرة ب-1/12/2025, 12:12:37 |
Floyd + HW2 Workshop
|
Dear students, There will be a two-hour workshop this Wednesday, 3.12, from 12:30 to 14:30 in Taub 7. In the first hour, we will go over a Floyd exercise and discuss its solution, including explanations of soundness and completeness. The second hour will be dedicated to HW2. The Course Staff |
| עדכון אחרון ב-1/12/2025, 11:57:10 Last updated on 1/12/2025, 11:57:10 Последняя модификация1/12/2025, 11:57:10 تمت الحتلنة الأخيرة ب-1/12/2025, 11:57:10 |
HW2
|
HW2 has been published. TA in charge: Omer Due date: 7.12 at 23:59. A workshop for this assignment will be held on Wednesday, 3.12, from 12:30 to 14:30 in Taub 7. Reminder: Submissions are in pairs. Good luck! The Course Staff |
| עדכון אחרון ב-1/12/2025, 12:13:25 Last updated on 1/12/2025, 12:13:25 Последняя модификация1/12/2025, 12:13:25 تمت الحتلنة الأخيرة ب-1/12/2025, 12:13:25 |
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 |