Moed Miluim - new date | |
|
Based on the poll results, Moed Miluim has been postponed to Thursday, 18.07, at 17:00. The exam will be held in Ulman 502. Reminder: If you are eligible to take the exam, please ensure you have sent your approval from the undergraduate school to Omer beforehand (if you have not already done so) Good luck! Course staff |
| פורסם ב-2/7/2024, 13:20:37 Created on 2/7/2024, 13:20:37 Создано2/7/2024, 13:20:37 تم النشر ب-2/7/2024, 13:20:37 |
Moed Miluim - poll | |
|
All students planning to take the exam must complete the following poll regarding the exam date by tomorrow (01.07). https://forms.gle/C38XodVAVn3RurVbA We will publish a follow-up announcement with the final date afterward. Course Staff |
| פורסם ב-30/6/2024, 19:26:24 Created on 30/6/2024, 19:26:24 Создано30/6/2024, 19:26:24 تم النشر ب-30/6/2024, 19:26:24 |
Moed B - appeals responses | |
|
The appeals responses for Moed B are available online. The grades have been updated accordingly. |
| פורסם ב-16/6/2024, 11:35:14 Created on 16/6/2024, 11:35:14 Создано16/6/2024, 11:35:14 تم النشر ب-16/6/2024, 11:35:14 |
Moed B - appeals | |
|
The graded exams are available under "Assignments -> Moed B -> Graded exams". To view the comments, you should open the returned files in Adobe Acrobat Reader. Also, a common mistakes file can be found under "Course Material" -> "Previous Exams". Instructions for appealing: - Each appeal must be submitted as a separate PDF file under the "Assignments" tab using the appeal form. - Type your answer exactly as it appeared on the test, then explain why points were unnecessarily deducted. Make sure you type the entire answer instead of taking a screenshot. - Read the relevant section of the common mistakes file and declare it on the appeal form (digital signs are acceptable). - Do not appeal the amount of points deducted. The points were deducted according to a specified scale. - In the case of an incorrect grade, there is no need to type your answer. It is sufficient to state your grade and the grade you think you should receive. Appeals of this type can be submitted to the appeal assignment of question 1. - Appeals should not be discussed with course staff. - All appeals must be submitted by 23:59 on 13.06. - Appeals that do not meet the above requirements will not be considered. course staff |
| פורסם ב-7/6/2024, 14:11:10 Created on 7/6/2024, 14:11:10 Создано7/6/2024, 14:11:10 تم النشر ب-7/6/2024, 14:11:10 |
Moed B - grades | |
|
Dear students, The grades for Moed B are available in the GR system, including the final grades. Feedback on your exam and appeal instructions will be published later on. Course staff |
| פורסם ב-6/6/2024, 11:49:27 Created on 6/6/2024, 11:49:27 Создано6/6/2024, 11:49:27 تم النشر ب-6/6/2024, 11:49:27 |
Moed B - scans | |
|
Dear students, The scans of Moed B are expected to be uploaded in the following days. Please note that the exams have not been checked and graded yet. Once the grading process is finished, both the checked exams and the corresponding grades will be made available on the course website. Course staff |
| פורסם ב-26/5/2024, 16:24:55 Created on 26/5/2024, 16:24:55 Создано26/5/2024, 16:24:55 تم النشر ب-26/5/2024, 16:24:55 |
Moed A - appeals responses | |
|
The appeals responses for Moed A are available online. The grades have been updated accordingly. |
| עדכון אחרון ב-22/5/2024, 15:48:18 Last updated on 22/5/2024, 15:48:18 Последняя модификация22/5/2024, 15:48:18 تمت الحتلنة الأخيرة ب-22/5/2024, 15:48:18 |
Roy's reception hour - Zoom link | |
| https://technion.zoom.us/j/98644360468?pwd=ek9rTG43LzRjcEZnWUNiV0dVZERydz09 |
| פורסם ב-22/5/2024, 14:26:48 Created on 22/5/2024, 14:26:48 Создано22/5/2024, 14:26:48 تم النشر ب-22/5/2024, 14:26:48 |
Roy's reception hour | |
|
The reception hour tomorrow will be hybrid, I'll send you the Zoom link right before the reception hour. Good luck, Roy |
| פורסם ב-21/5/2024, 16:43:37 Created on 21/5/2024, 16:43:37 Создано21/5/2024, 16:43:37 تم النشر ب-21/5/2024, 16:43:37 |
Moed B - classrooms | |
|
Moed B will be held on Sunday, 26.05, at 09:00. The exam will take place in the following classrooms in Ulman: - 502, 503 - no time extension - 309 - time extension If you are eligible for a time extension and you are currently assigned to a classroom without a time extension, please send an email to Omer today. If you are still assigned to a classroom without a time extension by Sunday, please arrive at room 309 in Ulman 30 minutes prior to the exam and contact us. Good luck! Course staff |
| עדכון אחרון ב-21/5/2024, 08:28:33 Last updated on 21/5/2024, 08:28:33 Последняя модификация21/5/2024, 08:28:33 تمت الحتلنة الأخيرة ب-21/5/2024, 08:28:33 |
Moed B | |
|
Moed B will be held on Sunday, 26.05, at 09:00. The exam cover page can be found under "Course Material" -> "Previous Exams". Reception hours: - Wednesday, 22.05, 14:30-15:30, Taub 9 - Roy - Thursday, 23.05, 10:30-11:30, Taub 9 - Omer Questions regarding past exams should be emailed at least a day in advance. Good luck, Course staff |
| עדכון אחרון ב-23/5/2024, 21:29:32 Last updated on 23/5/2024, 21:29:32 Последняя модификация23/5/2024, 21:29:32 تمت الحتلنة الأخيرة ب-23/5/2024, 21:29:32 |
Moed A - appeals | |
|
The graded exams are available under "Assignments -> Moed A -> Graded exams". To view the comments, you should open the returned files in Adobe Acrobat Reader. Also, a common mistakes file can be found under "Course Material" -> "Previous Exams". Instructions for appealing: - Each appeal must be submitted as a separate PDF file under the "Assignments" tab using the appeal form. - Type your answer exactly as it appeared on the test, then explain why points were unnecessarily deducted. Make sure you type your answer instead of taking a screenshot. - Read the relevant section of the common mistakes file and declare it on the appeal form (digital signs are acceptable). - Do not appeal the amount of points deducted. The points were deducted according to a specified scale. - In the case of an incorrect grade, there is no need to type your answer. It is sufficient to state your grade and the grade you think you should receive. Appeals of this type can be submitted to the appeal assignment of question 1. - Appeals should not be discussed with course staff. - All appeals must be submitted by 23:59 on 21.05. - Appeals that do not meet the above requirements will not be considered. course staff |
| עדכון אחרון ב-17/5/2024, 09:13:37 Last updated on 17/5/2024, 09:13:37 Последняя модификация17/5/2024, 09:13:37 تمت الحتلنة الأخيرة ب-17/5/2024, 09:13:37 |
Moed A - grades | |
|
Dear students, The grades for Moed A are available in the GR system, including the final grades. Feedback on your exam and appeal instructions will be published later on. Course staff |
| עדכון אחרון ב-16/5/2024, 15:53:26 Last updated on 16/5/2024, 15:53:26 Последняя модификация16/5/2024, 15:53:26 تمت الحتلنة الأخيرة ب-16/5/2024, 15:53:26 |
Moed A - scans | |
|
Dear students, The scans of Moed A are expected to be uploaded today or tomorrow. Please note that the exams have not been checked and graded yet. Once the grading process is finished, both the checked exams and the corresponding grades will be made available on the course website. Course staff |
| עדכון אחרון ב-6/5/2024, 08:35:51 Last updated on 6/5/2024, 08:35:51 Последняя модификация6/5/2024, 08:35:51 تمت الحتلنة الأخيرة ب-6/5/2024, 08:35:51 |
HW4 + HW5 grades | |
|
The grades and feedback for the fourth and fifth assignments are available in the GR system. To view the comments, you should open the returned files in Adobe Acrobat Reader. All appeals must be sent by email to the TA in charge of the assignment no later than Sunday, 12.05, 23:59. When you submit an appeal, the entire question may be re-checked in light of your appeal. Course staff |
| פורסם ב-3/5/2024, 16:16:14 Created on 3/5/2024, 16:16:14 Создано3/5/2024, 16:16:14 تم النشر ب-3/5/2024, 16:16:14 |
Moed A - classrooms | |
|
As you all know, Moed A will be held on Sunday, 05.05, at 13:00. The exam will take place in the following classrooms in Ulman: - 307, 506, 507 - no time extension - 502, 505 - time extension If you are eligible for a time extension and you are currently assigned to a classroom without a time extension, please arrive at floor 5 in Ulman 30 minutes prior to the exam and contact us. Good luck! Course staff |
| עדכון אחרון ב-3/5/2024, 09:41:27 Last updated on 3/5/2024, 09:41:27 Последняя модификация3/5/2024, 09:41:27 تمت الحتلنة الأخيرة ب-3/5/2024, 09:41:27 |
Omer's reception hour | |
|
Dear students, Omer's reception hour will be held tomorrow, 02.05, from 14:30 to 15:30 in Taub 3. If you have questions regarding past exams please send them today by email. Omer |
| פורסם ב-1/5/2024, 10:39:46 Created on 1/5/2024, 10:39:46 Создано1/5/2024, 10:39:46 تم النشر ب-1/5/2024, 10:39:46 |
Roy's reception hour - Zoom link | |
| https://technion.zoom.us/j/96003314628?pwd=aTF6djlSUGdzN2M2NER0M1RLaUMzQT09 |
| פורסם ב-30/4/2024, 14:01:31 Created on 30/4/2024, 14:01:31 Создано30/4/2024, 14:01:31 تم النشر ب-30/4/2024, 14:01:31 |
Roy's reception hour | |
|
Dear students, Due to some students' requests, I am rescheduling the reception hour tomorrow to 14:00. The reception hour will be hybrid, I'll send the Zoom link right before we start it. Good luck, Roy |
| פורסם ב-29/4/2024, 18:41:07 Created on 29/4/2024, 18:41:07 Создано29/4/2024, 18:41:07 تم النشر ب-29/4/2024, 18:41:07 |
Moed A | |
|
Moed A will be held on Sunday, 05.05, at 13:00. The exam cover page can be found under "Course Material" -> "Previous Exams". Reception hours: - Tuesday, 30.04, 14:00-15:00, Taub 3 - Roy - Thursday, 02.05, 14:30-15:30, Taub 3 - Omer Questions regarding past exams should be emailed at least a day in advance. Please be aware that our availability during the holiday will be limited. Good luck and a peaceful and enjoyable holiday. Course staff |
| עדכון אחרון ב-1/5/2024, 10:40:11 Last updated on 1/5/2024, 10:40:11 Последняя модификация1/5/2024, 10:40:11 تمت الحتلنة الأخيرة ب-1/5/2024, 10:40:11 |
HW2 + HW3 grades | |
|
The grades and feedback for the second and third assignments are available in the GR system. To view the comments, you should open the returned files in Adobe Acrobat Reader. Also, common mistakes files can be found under the "Assignments" tab. All appeals must be sent by email to the TA in charge of the assignment no later than Wednesday, 17.04, 23:59. When you submit an appeal, the entire question may be re-checked in light of your appeal. Course staff |
| פורסם ב-7/4/2024, 10:03:24 Created on 7/4/2024, 10:03:24 Создано7/4/2024, 10:03:24 تم النشر ب-7/4/2024, 10:03:24 |
HW5 | |
|
HW5 has been published. TA in charge: Roy Due date: 08.04, 23:59. There will be a workshop for this assignment on Wednesday, 03.04, from 13:30-14:30 in Taub 6. Reminder: Submissions are in pairs. Good luck! Course staff |
| עדכון אחרון ב-28/3/2024, 10:56:05 Last updated on 28/3/2024, 10:56:05 Последняя модификация28/3/2024, 10:56:05 تمت الحتلنة الأخيرة ب-28/3/2024, 10:56:05 |
Lectures 10+11 | |
|
Hello all, Our next lecture will also be a two hour lecture. We will cover weeks 10+11 so please watch the needed material. In addition, in order to gain a better understanding of the material, we will go over some key points from last week’s lecture, which I felt haven't sinked in yet. See you Tuesday. Yakir |
| עדכון אחרון ב-15/3/2024, 16:23:27 Last updated on 15/3/2024, 16:23:27 Последняя модификация15/3/2024, 16:23:27 تمت الحتلنة الأخيرة ب-15/3/2024, 16:23:27 |
Tutorial 8 and HW4 workshop | |
|
Hi all, Next Wednesday (20.03) we will have a two-hour workshop (Taub 5): 12:30-13:30 - I will go over the parts of tutorial 8 that were not fully covered in class 13:30-14:30 - HW4 workshop The first hour of the workshop is not mandatory. You can also watch the recordings from previous semesters and contact me by email if you have any questions. Omer |
| עדכון אחרון ב-20/3/2024, 10:24:28 Last updated on 20/3/2024, 10:24:28 Последняя модификация20/3/2024, 10:24:28 تمت الحتلنة الأخيرة ب-20/3/2024, 10:24:28 |
Lecture - March 12th | |
|
Dear students, Tomorrow's lecture covers the material for weeks 8+9 (10:30-12:30). We will go over the key ideas, and my goal is to try and allocate as much time as possible to the "hands on" session :) Please bring your computers. We will play with BDDs and we will implement our own symbolic model checker - fun! Make sure to install the following packages before coming to class: ‘graphviz’ and dd’ (e.g. pip3 install dd). On the latest MacOS, this worked for me with Python 3.11 To check that things work, try the following import commands: from dd.autoref import BDD from graphviz import render See you tomorrow! Yakir |
| פורסם ב-11/3/2024, 21:16:06 Created on 11/3/2024, 21:16:06 Создано11/3/2024, 21:16:06 تم النشر ب-11/3/2024, 21:16:06 |
HW4 | |
|
HW4 has been published. TA in charge: Omer Due date: 25.03, 23:59. There will be a workshop for this assignment on Wednesday, 20.03, from 13:30-14:30 in Taub 5. Reminder: Submissions are in pairs. Good luck! Course staff |
| עדכון אחרון ב-13/3/2024, 10:05:54 Last updated on 13/3/2024, 10:05:54 Последняя модификация13/3/2024, 10:05:54 تمت الحتلنة الأخيرة ب-13/3/2024, 10:05:54 |
Lecture - March 5th | |
|
Dear students, There will be no in class lecture tomorrow (March 5th). Instead, we will have a two hour lecture next week covering the material needed for Week 8+9 (BDDs and Symbolic MC). Note that the tutorial still takes place as usual. Yakir |
| עדכון אחרון ב-4/3/2024, 21:37:58 Last updated on 4/3/2024, 21:37:58 Последняя модификация4/3/2024, 21:37:58 تمت الحتلنة الأخيرة ب-4/3/2024, 21:37:58 |
Cancellation of Wednesday's tutorial | |
|
Dear students, Wednesday's tutorial is cancelled for the rest of the semester due to a lack of attendance. Therefore, Tuesday's tutorial will be the only one from now on. Course staff |
| עדכון אחרון ב-29/2/2024, 13:54:17 Last updated on 29/2/2024, 13:54:17 Последняя модификация29/2/2024, 13:54:17 تمت الحتلنة الأخيرة ب-29/2/2024, 13:54:17 |
Classes this week | |
|
Due to the municipal elections, we will not have any classes this week (lectures or tutorials), except for today's workshop. Course staff |
| עדכון אחרון ב-29/2/2024, 13:54:40 Last updated on 29/2/2024, 13:54:40 Последняя модификация29/2/2024, 13:54:40 تمت الحتلنة الأخيرة ب-29/2/2024, 13:54:40 |
HW1 grades | |
|
The grades and feedback for the first assignment are available in the GR system. To view the comments, you should open the returned file in Adobe Acrobat Reader. Also, a common mistakes file can be found under the "Assignments" tab. Please take into consideration the following requirements regarding submissions: * Submission of HW assignments should be done in pairs, unless you are given explicit permission to submit your assignment alone. * Both partners should be registered to the course this semester. * If you wish to request an extension for the deadline, it should be done before the official deadline, as stated in the course guidelines in the "syllabus" tab. A submission that fails to meet these requirements may not be checked. All appeals must be sent by email to the TA in charge of this assignment no later than Sunday, 03.03, 23:59. When you submit an appeal, the entire question may be re-checked in light of your appeal. Course staff |
| פורסם ב-25/2/2024, 13:52:09 Created on 25/2/2024, 13:52:09 Создано25/2/2024, 13:52:09 تم النشر ب-25/2/2024, 13:52:09 |
HW3 | |
|
HW3 has been published. TA in charge: Roy Due date: 03.03, 23:59. There will be a workshop for this assignment on Sunday, 25.02, from 16:30-17:30 in Taub 5. Reminder: Submissions are in pairs. Good luck! Course staff |
| פורסם ב-15/2/2024, 11:04:08 Created on 15/2/2024, 11:04:08 Создано15/2/2024, 11:04:08 تم النشر ب-15/2/2024, 11:04:08 |
Roy's tutorial | |
|
Dear students, Based on the poll results, Roy's next tutorial will take place on Monday, 19.02, from 15:30-16:20, in Taub 2. We will let you know if that change is permanent. Course staff |
| עדכון אחרון ב-15/2/2024, 11:07:21 Last updated on 15/2/2024, 11:07:21 Последняя модификация15/2/2024, 11:07:21 تمت الحتلنة الأخيرة ب-15/2/2024, 11:07:21 |
Roy's tutorial time | |
|
Dear students, We want to check if there is any demand to change Roy's tutorial time. Please fill out the next form: https://docs.google.com/forms/d/e/1FAIpQLScdI2RK5TK56mbTIx4rn36TI-NWKsKP4gTLELAasdtoNoddYQ/viewform?usp=sf_link Course staff |
| פורסם ב-8/2/2024, 10:36:53 Created on 8/2/2024, 10:36:53 Создано8/2/2024, 10:36:53 تم النشر ب-8/2/2024, 10:36:53 |
Soundness and Completeness | |
|
Dear students, You can now find a video regarding the soundness and completeness of Floyd-like proof rules under "Course Material -> Tutorials -> Tutorial 2". Course staff |
| עדכון אחרון ב-1/2/2024, 15:22:17 Last updated on 1/2/2024, 15:22:17 Последняя модификация1/2/2024, 15:22:17 تمت الحتلنة الأخيرة ب-1/2/2024, 15:22:17 |
HW2 | |
|
HW2 has been published. TA in charge: Omer Due date: 15.02, 23:59. There will be a workshop for this assignment on Sunday, 11.02, from 16:30-17:30 in Taub 7. Reminder: Submissions are in pairs. Good luck! Course staff |
| פורסם ב-1/2/2024, 15:16:34 Created on 1/2/2024, 15:16:34 Создано1/2/2024, 15:16:34 تم النشر ب-1/2/2024, 15:16:34 |
Lecture This Week (January 30th) | |
|
Hello all, For tomorrow's in class lecture, please bring your laptop (or any other device that can run VS code) with you. We will have hands-on (fun) task in class :) Yakir |
| פורסם ב-29/1/2024, 18:18:41 Created on 29/1/2024, 18:18:41 Создано29/1/2024, 18:18:41 تم النشر ب-29/1/2024, 18:18:41 |
Roy's tutorial | |
|
Hello dear students, Unfortunately, I'm sick and won't be able to arrive at the tutorial and the reception hour tomorrow. The tutorial will be postponed to Sunday, 28.1, at 17:30, right after the workshop, in Taub 5. If anyone needs a reception hour from me, instead of the one I'm canceling tomorrow, please let me know. Roy |
| פורסם ב-23/1/2024, 21:07:46 Created on 23/1/2024, 21:07:46 Создано23/1/2024, 21:07:46 تم النشر ب-23/1/2024, 21:07:46 |
HW1 update | |
|
Question 3b will be optional, so you do not have to submit it. Course staff |
| עדכון אחרון ב-23/1/2024, 12:52:48 Last updated on 23/1/2024, 12:52:48 Последняя модификация23/1/2024, 12:52:48 تمت الحتلنة الأخيرة ب-23/1/2024, 12:52:48 |
Tomorrow’s Lecture (January 23) | |
|
Dear students, There will be no in class lecture tomorrow. Instead, we will have a two hour lecture next week. Sorry for the late notice. Yakir |
| פורסם ב-22/1/2024, 22:58:52 Created on 22/1/2024, 22:58:52 Создано22/1/2024, 22:58:52 تم النشر ب-22/1/2024, 22:58:52 |
HW1 | |
|
HW1 has been published. TA in charge: Roy Due date: 01.02, 23:59. There will be a workshop for this assignment on Sunday, 28.01, from 16:30-17:30 in Taub 5. Reminder: Submissions are in pairs. Good luck! Course staff |
| פורסם ב-18/1/2024, 10:20:21 Created on 18/1/2024, 10:20:21 Создано18/1/2024, 10:20:21 تم النشر ب-18/1/2024, 10:20:21 |
Welcome to Introduction to Software Verification! (236342) | |
|
This is the first official mail from the "Introduction to Software Verification" (236342) course staff. Each student registered to the course should get this mail. Those who didn't get it are probably not registered or are not on the mailing list. So, if you know about friends who are taking this course and did not get this email, please advise them to register through the "Auto Update" feature appearing at the homepage. The course announcements, notifications, changes etc. will be published on the website and through this mailing list. It is your responsibility to be updated and to check from time to time for new information posted on the web. All the information you need appears at the course website at http://webcourse.cs.technion.ac.il/236342 Specifically, please make sure you read the course guidelines that appear in the syllabus tab. Also, you can find the expected publication and submission dates for each homework assignment in the homework tab. Please note that changes are possible. Our office hours can be found under the "Staff" tab. Try to fit yourselves to those office hours, or contact us by email. We will be happy to answer your questions and help you with this course during the semester. The first lecture will be held in class. Most of the semester, however, will adopt the "flipped classroom" approach. Logistics of the course will be explained during the first lecture. Tutorials will be frontal and you will have access to videos of the course from previous semesters. We wish you a fruitful and enjoyable semester! Course staff |
| פורסם ב-11/1/2024, 12:56:17 Created on 11/1/2024, 12:56:17 Создано11/1/2024, 12:56:17 تم النشر ب-11/1/2024, 12:56:17 |