Instructor and TA Survey | |
|
Dear Students, We have received a notification that the response rate for the instructor and TA survey in this course is low. We would greatly appreciate it if you could take a moment to complete the survey, as your feedback helps us address any concerns you raise and improve the course accordingly. You can submit your response using the following link until tomorrow: https://technion.bluera.com/ Best regards, The Course Team |
| עדכון אחרון ב-2/2/2025, 18:26:12 Last updated on 2/2/2025, 18:26:12 Последняя модификация2/2/2025, 18:26:12 تمت الحتلنة الأخيرة ب-2/2/2025, 18:26:12 |
Schedule Change: Roy's Complimentary Tutorial | |
|
Dear Students, Roy will hold a complimentary tutorial on Sunday, 2.2, from 16:30 to 17:30 in Taub 6 (just before the HW5 workshop). Course Staff |
| עדכון אחרון ב-26/1/2025, 14:41:11 Last updated on 26/1/2025, 14:41:11 Последняя модификация26/1/2025, 14:41:11 تمت الحتلنة الأخيرة ب-26/1/2025, 14:41:11 |
HW5 | |
|
HW5 has been published. TA in charge: Roy Due date: 4.2, 23:59. There will be a workshop for this assignment on Sunday, 2.2, from 17:30 to 18:30 in Taub 6. Reminder: Submissions are in pairs. Good luck! Course Staff |
| פורסם ב-21/1/2025, 22:30:52 Created on 21/1/2025, 22:30:52 Создано21/1/2025, 22:30:52 تم النشر ب-21/1/2025, 22:30:52 |
HW2 Grades | |
|
The grades and feedback for the second assignment are now available in the GR system. To view the comments, please open the returned file using Adobe Acrobat Reader. A file detailing common mistakes can also be found under the "Assignments" tab. All appeals must be submitted via email to the TA in charge for this assignment by Sunday, 19.1, 23:59. Please note that when you submit an appeal, the entire question will be re-evaluated in light of your request. Course Staff |
| עדכון אחרון ב-12/1/2025, 09:16:07 Last updated on 12/1/2025, 09:16:07 Последняя модификация12/1/2025, 09:16:07 تمت الحتلنة الأخيرة ب-12/1/2025, 09:16:07 |
HW4 Workshop | |
|
Dear Students, A workshop for HW4 will take place on Wednesday, 15.1, from 12:30 to 13:30 in Taub 6. Course Staff |
| פורסם ב-9/1/2025, 11:36:04 Created on 9/1/2025, 11:36:04 Создано9/1/2025, 11:36:04 تم النشر ب-9/1/2025, 11:36:04 |
Updates on Upcoming Lectures | |
|
Dear Students, In our next lecture on 14.1, we will review the material from weeks 10 and 11. Please make sure to watch the videos for both weeks in advance. Our final lecture will take place the following week (21.1). Please note that the lectures originally scheduled for 28.1 and 4.2 are canceled. Course Staff |
| עדכון אחרון ב-8/1/2025, 09:28:15 Last updated on 8/1/2025, 09:28:15 Последняя модификация8/1/2025, 09:28:15 تمت الحتلنة الأخيرة ب-8/1/2025, 09:28:15 |
HW4 | |
|
HW4 has been published. TA in charge: Omer Due date: 21.1, 23:59. There will be a workshop for this assignment on Wednesday, 15.1, from 12:30 to 13:30 in Taub 6. Reminder: Submissions are in pairs. Good luck! Course Staff |
| עדכון אחרון ב-9/1/2025, 11:33:51 Last updated on 9/1/2025, 11:33:51 Последняя модификация9/1/2025, 11:33:51 تمت الحتلنة الأخيرة ب-9/1/2025, 11:33:51 |
Tomorrow’s Lecture (January 7) | |
|
Hello all, We will have another programming exercise tomorrow. Please make sure you can run the BDDs example from two weeks ago. See you all! Yakir |
| פורסם ב-6/1/2025, 16:39:16 Created on 6/1/2025, 16:39:16 Создано6/1/2025, 16:39:16 تم النشر ب-6/1/2025, 16:39:16 |
Schedule Update for This Week | |
|
Dear Students, We hope this message finds you well. Please note that no classes will be held in the course this week. Yakir's lecture and Omer's tutorial on Tuesday (31.12) are canceled due to the Hanukkah break. Roy's tutorial on Wednesday (1.1) is also canceled to ensure consistency with the lectures. A complimentary tutorial will be scheduled closer to the end of the semester. Happy holidays! Course Staff |
| עדכון אחרון ב-29/12/2024, 14:38:43 Last updated on 29/12/2024, 14:38:43 Последняя модификация29/12/2024, 14:38:43 تمت الحتلنة الأخيرة ب-29/12/2024, 14:38:43 |
BDDs | |
|
Hi all, You can find the BDDs example under Material => Lectures => In Class. In order to use it you need the dd package: pip install dd Enjoy and Chag Sameach. |
| פורסם ב-24/12/2024, 14:59:36 Created on 24/12/2024, 14:59:36 Создано24/12/2024, 14:59:36 تم النشر ب-24/12/2024, 14:59:36 |
HW3 | |
|
HW3 has been published. TA in charge: Roy Due date: 7.1, 23:59. There will be a workshop for this assignment on Sunday, 5.1, from 16:30 to 17:30 in Taub 8. Reminder: Submissions are in pairs. Good luck! Course Staff |
| פורסם ב-18/12/2024, 14:25:49 Created on 18/12/2024, 14:25:49 Создано18/12/2024, 14:25:49 تم النشر ب-18/12/2024, 14:25:49 |
Lecture 6+7 | |
|
Hi all, As you all know, tomorrow we will cover the material for weeks 6 and 7. Please bring your laptops and make sure you have the following installed: 1. Python. 2. An editor, preferably Visual Studio Code. 3. The following python libraries: igraph and matplotlib. 4. Optional: Jupyter Notebook and its relevant extension in Visual Studio Code. See you tomorrow! Yakir |
| פורסם ב-16/12/2024, 18:14:55 Created on 16/12/2024, 18:14:55 Создано16/12/2024, 18:14:55 تم النشر ب-16/12/2024, 18:14:55 |
HW1 Grades | |
|
The grades and feedback for the first assignment are now available in the GR system. To view the comments, please open the returned file using Adobe Acrobat Reader. A file detailing common mistakes can also be found under the "Assignments" tab. All appeals must be submitted via email to the TA in charge for this assignment by Thursday, 19.12, 23:59. Please note that when you submit an appeal, the entire question will be re-evaluated in light of your request. Best regards, Course Staff |
| פורסם ב-11/12/2024, 15:25:40 Created on 11/12/2024, 15:25:40 Создано11/12/2024, 15:25:40 تم النشر ب-11/12/2024, 15:25:40 |
Update: HW2 Workshop Location | |
|
The HW2 workshop will be held in person (not on Zoom) on Sunday, 8.12, from 15:30 to 16:30 in Taub 7. Course Staff |
| פורסם ב-4/12/2024, 11:30:36 Created on 4/12/2024, 11:30:36 Создано4/12/2024, 11:30:36 تم النشر ب-4/12/2024, 11:30:36 |
Transition to In-Person Learning | |
|
Dear students, As you know, we are transitioning to in-person learning. Starting tomorrow, the classes will take place in the following rooms: - Yakir's lecture (Tuesday, 10:30): Taub 7 - Omer's tutorial (Tuesday, 14:30): Taub 7 - Roy's tutorial (Wednesday, 16:30): Ulman 303 Note that the classes will be conducted in person only (Zoom links will no longer be used). Looking forward to seeing you! Course Staff |
| עדכון אחרון ב-2/12/2024, 15:14:55 Last updated on 2/12/2024, 15:14:55 Последняя модификация2/12/2024, 15:14:55 تمت الحتلنة الأخيرة ب-2/12/2024, 15:14:55 |
HW2 | |
|
HW2 has been published. TA in charge: Omer Due date: 11.12, 23:59. There will be a workshop for this assignment on Sunday, 8.12, from 15:30 to 16:30 in Taub 7. Reminder: Submissions are in pairs. Good luck! Course Staff |
| עדכון אחרון ב-4/12/2024, 11:30:56 Last updated on 4/12/2024, 11:30:56 Последняя модификация4/12/2024, 11:30:56 تمت الحتلنة الأخيرة ب-4/12/2024, 11:30:56 |
The Third Lecture | |
|
Hello all, For tomorrow's lecture please make sure to have Visual Studio Code (VSC) installed on your computer. Once VSC is installed, install the Dafny extension. You can find a simple Dafny program (abs.dfy) under Material -> Lectures -> Examples. Use this to make sure your Dafny extension is working :) As for the Zoom session. I am going to keep this limited to authorized Technion users (due to security requirements). If you have an issue, please contact me so we can try to figure out a solution. See you all tomorrow, Yakir |
| עדכון אחרון ב-25/11/2024, 17:32:25 Last updated on 25/11/2024, 17:32:25 Последняя модификация25/11/2024, 17:32:25 تمت الحتلنة الأخيرة ب-25/11/2024, 17:32:25 |
Schedule Change: Omer's Tutorial This Week | |
|
Dear Students, This week, Omer's tutorial will take place on Wednesday, 20.11, from 12:30 to 13:30, instead of the usual Tuesday session. Please use the regular Zoom link: https://technion.zoom.us/j/97699741513 Looking forward to seeing you then, Omer |
| עדכון אחרון ב-17/11/2024, 09:49:11 Last updated on 17/11/2024, 09:49:11 Последняя модификация17/11/2024, 09:49:11 تمت الحتلنة الأخيرة ب-17/11/2024, 09:49:11 |
HW1 | |
|
HW1 has been published. TA in charge: Roy Due date: 27.11, 23:59. There will be a workshop for this assignment on Sunday, 24.11, from 16:30 to 17:30. Zoom link: https://technion.zoom.us/j/99805924946 Reminder: Submissions are in pairs. Good luck! Course staff |
| עדכון אחרון ב-19/11/2024, 13:38:47 Last updated on 19/11/2024, 13:38:47 Последняя модификация19/11/2024, 13:38:47 تمت الحتلنة الأخيرة ب-19/11/2024, 13:38:47 |
Welcome to Introduction to Software Verification! (236342) | |
|
Dear students, Welcome to the Introduction to Software Verification (236342) course! This is the first official email from the course staff. All registered students should receive this message. If you know any classmates who are registered but did not receive this email, please advise them to sign up through the “Auto Update” feature on the course homepage. Course announcements, notifications, and updates will be posted on the course website (http://webcourse.cs.technion.ac.il/236342) and sent through 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’re glad to assist with any questions and provide support throughout the semester. The first lecture will be held on Tuesday (12.11). Most of the semester will follow a “flipped classroom” format, which will be explained in detail during this session. Tutorials will be held at their scheduled times, and you will have access to videos from previous semesters. Please be aware that, under the current circumstances, all synchronous classes will take place on Zoom. Here are the meeting links: - Yakir's lecture (Tuesday, 10:30): https://technion.zoom.us/j/91971152473 - Omer's tutorial (Tuesday, 14:30): https://technion.zoom.us/j/97699741513 - Roy's tutorial (Wednesday, 16:30): https://technion.zoom.us/s/96409870911 Should the guidelines change and we return to in-person classes, we will update you. We look forward to a productive semester together and hope it will be a quiet and safe one for everyone. Please don’t hesitate to reach out with any questions - we’re here to help. Best regards, Course staff |
| עדכון אחרון ב-8/11/2024, 14:02:35 Last updated on 8/11/2024, 14:02:35 Последняя модификация8/11/2024, 14:02:35 تمت الحتلنة الأخيرة ب-8/11/2024, 14:02:35 |