Moed B appeals | |
|
The scans are available online. 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 to type rather than scan your answer. - 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 26.03. - Appeals that do not meet the above requirements will not be considered. course staff |
| פורסם ב-21/3/2023, 19:38:42 Created on 21/3/2023, 19:38:42 Создано21/3/2023, 19:38:42 تم النشر ب-21/3/2023, 19:38:42 |
Moed B grades | |
|
The grades for Moed B are available in the GR system, including the final grades. The scans will be uploaded to https://exams-scans.technion.ac.il/ Once the scans are available, appeal instructions will be published. Course staff |
| פורסם ב-20/3/2023, 10:26:40 Created on 20/3/2023, 10:26:40 Создано20/3/2023, 10:26:40 تم النشر ب-20/3/2023, 10:26:40 |
Moed B | |
|
Moed B will be held tomorrow, 10.03, at 9:00. The exam will take place in Amado 233 (regular class) and 234 (time extension class). You do not need to register for the exam. The exam cover page can be found under "Course Material" -> "Previous Exams". Good luck! Course staff |
| פורסם ב-9/3/2023, 08:52:02 Created on 9/3/2023, 08:52:02 Создано9/3/2023, 08:52:02 تم النشر ب-9/3/2023, 08:52:02 |
Moed A appeal responses | |
|
Moed A appeal responses are available online. The grades have been updated accordingly. |
| עדכון אחרון ב-5/3/2023, 14:35:35 Last updated on 5/3/2023, 14:35:35 Последняя модификация5/3/2023, 14:35:35 تمت الحتلنة الأخيرة ب-5/3/2023, 14:35:35 |
Moed B reception hours | |
|
Here are the reception hours for Moed B: - Monday, 06.03, 10:30-11:30, Taub 4 - Omer - Wednesday, 08.03, 12:30-13:30, Taub 4 - Omer Questions regarding past exams should be emailed at least a day in advance. Course staff |
| עדכון אחרון ב-1/3/2023, 09:10:41 Last updated on 1/3/2023, 09:10:41 Последняя модификация1/3/2023, 09:10:41 تمت الحتلنة الأخيرة ب-1/3/2023, 09:10:41 |
Moed A appeals | |
|
The scans are available online. 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 to type rather than scan your answer. - 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 04.03. - Appeals that do not meet the above requirements will not be considered. course staff |
| פורסם ב-27/2/2023, 21:52:19 Created on 27/2/2023, 21:52:19 Создано27/2/2023, 21:52:19 تم النشر ب-27/2/2023, 21:52:19 |
Moed A grades | |
|
The grades for Moed A are available in the GR system, including the final grades. The scans will be uploaded to https://exams-scans.technion.ac.il/ Once the scans are available, appeal instructions will be published. Course staff |
| עדכון אחרון ב-27/2/2023, 08:56:50 Last updated on 27/2/2023, 08:56:50 Последняя модификация27/2/2023, 08:56:50 تمت الحتلنة الأخيرة ب-27/2/2023, 08:56:50 |
HW6 grades | |
|
The grades and feedback for the sixth 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. All appeals must be sent by email to the TA in charge of this assignment no later than Thursday, 23.02, 23:59. When you submit an appeal, the entire question may be re-checked in light of your appeal. Course staff |
| עדכון אחרון ב-18/2/2023, 16:37:52 Last updated on 18/2/2023, 16:37:52 Последняя модификация18/2/2023, 16:37:52 تمت الحتلنة الأخيرة ب-18/2/2023, 16:37:52 |
Moed A reception hours | |
|
Here are the reception hours for Moed A: - Monday, 13.02, 10:30-11:30, Taub 4 - Roy - Wednesday, 15.02, 16:30-17:30, Taub 4 - Roy Questions regarding past exams should be emailed at least a day in advance. Course staff |
| עדכון אחרון ב-1/3/2023, 09:10:52 Last updated on 1/3/2023, 09:10:52 Последняя модификация1/3/2023, 09:10:52 تمت الحتلنة الأخيرة ب-1/3/2023, 09:10:52 |
HW5 grades | |
|
The grades and feedback for the fifth assignment are available in the GR system. To view the comments, you should open the returned file in Adobe Acrobat Reader. All appeals must be sent by email to the TA in charge of this assignment no later than Sunday, 14.02, 23:59. When you submit an appeal, the entire question may be re-checked in light of your appeal. Course staff |
| פורסם ב-7/2/2023, 12:21:41 Created on 7/2/2023, 12:21:41 Создано7/2/2023, 12:21:41 تم النشر ب-7/2/2023, 12:21:41 |
HW4 grades | |
|
The grades and feedback for the fourth assignment are available in the GR system. To view the comments, you should open the returned file in Adobe Acrobat Reader. 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, 29.01, 23:59. When you submit an appeal, the entire question may be re-checked in light of your appeal. Course staff |
| פורסם ב-22/1/2023, 13:25:45 Created on 22/1/2023, 13:25:45 Создано22/1/2023, 13:25:45 تم النشر ب-22/1/2023, 13:25:45 |
Formal Verification Seminar - 236204 | |
|
Hello all, The seminar now has a number: 236204. It will take place on Wednesdays, 14:30-16:30 Please use this Google Form if you would like to register: https://forms.gle/QY6yyyMM3efaKbs57 Yakir |
| פורסם ב-20/1/2023, 12:14:41 Created on 20/1/2023, 12:14:41 Создано20/1/2023, 12:14:41 تم النشر ب-20/1/2023, 12:14:41 |
HW6 | |
|
HW6 has been published. TA in charge: Omer Due date: 25.01, 23:59. There will be a workshop for this assignment on Sunday, 22.01, from 16:30-17:30 in Taub 4. Reminder: Submissions are in pairs. Good luck! Course staff |
| פורסם ב-10/1/2023, 10:54:46 Created on 10/1/2023, 10:54:46 Создано10/1/2023, 10:54:46 تم النشر ب-10/1/2023, 10:54:46 |
HW3 grades | |
|
The grades and feedback for the third assignment are available in the GR system. To view the comments, you should open the returned file in Adobe Acrobat Reader. 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 Saturday, 14.01, 23:59. When you submit an appeal, the entire question may be re-checked in light of your appeal. Course staff |
| פורסם ב-6/1/2023, 11:49:19 Created on 6/1/2023, 11:49:19 Создано6/1/2023, 11:49:19 تم النشر ب-6/1/2023, 11:49:19 |
HW5 | |
|
HW5 has been published. TA in charge: Roy Due date: 15.01, 23:59. There will be a workshop for this assignment on Wednesday, 11.01, from 13:30-14:30 in Taub 301. Reminder: Submissions are in pairs. Good luck! Course staff |
| פורסם ב-1/1/2023, 20:26:52 Created on 1/1/2023, 20:26:52 Создано1/1/2023, 20:26:52 تم النشر ب-1/1/2023, 20:26:52 |
Upcoming lectures | |
|
Hello all, On Tuesday, 03.01, we will have a two hours lecture. The first hour will be the flipped-classroom, while the second hour will be given by Prof. Orna Grumberg. She will introduce applications of BMC to security/repair. On Tuesday, 10.01, there will be a frontal lecture given by Yakir. On Tuesday, 17.01, for our last lecture, Apple will visit us and will tell us about how what we have learned during the semester is used by them every day. Course staff |
| פורסם ב-29/12/2022, 12:11:35 Created on 29/12/2022, 12:11:35 Создано29/12/2022, 12:11:35 تم النشر ب-29/12/2022, 12:11:35 |
HW4 | |
|
HW4 has been published. TA in charge: Omer Due date: 03.01, 23:59. There will be a workshop for this assignment on Sunday, 01.01, from 16:30-17:30 in Taub 4. Reminder: Submissions are in pairs. Good luck! Course staff |
| פורסם ב-18/12/2022, 17:33:56 Created on 18/12/2022, 17:33:56 Создано18/12/2022, 17:33:56 تم النشر ب-18/12/2022, 17:33:56 |
Short survey | |
|
Hello all, Here is a short survey: https://forms.gle/xmrk939Hhzr2iszQA You don't have to answer it, but it will help us improve the course if you do :) Course staff |
| פורסם ב-15/12/2022, 20:49:00 Created on 15/12/2022, 20:49:00 Создано15/12/2022, 20:49:00 تم النشر ب-15/12/2022, 20:49:00 |
HW2 grades | |
|
The grades and feedback for the second 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 Saturday, 24.12, 23:59. When you submit an appeal, the entire question may be re-checked in light of your appeal. Course staff |
| עדכון אחרון ב-6/1/2023, 11:49:30 Last updated on 6/1/2023, 11:49:30 Последняя модификация6/1/2023, 11:49:30 تمت الحتلنة الأخيرة ب-6/1/2023, 11:49:30 |
Classes next week | |
|
As we will be in MATKONET of Tuesday next Monday (19.10), the lecture and Roy's tutorial will take place as usual. On the same day, Omer will hold a complementary tutorial in Taub 9 at 16:30. There will be no classes on Tuesday (20.10) and Wednesday (21.10) due to Hanukkah. Happy holidays! Course staff |
| עדכון אחרון ב-13/12/2022, 14:57:01 Last updated on 13/12/2022, 14:57:01 Последняя модификация13/12/2022, 14:57:01 تمت الحتلنة الأخيرة ب-13/12/2022, 14:57:01 |
HW3 | |
|
HW3 has been published. TA in charge: Roy Due date: 18.12, 23:59. There will be a workshop for this assignment on Thursday, 15.12, from 14:30-15:30 in Taub 4. Reminder: Submissions are in pairs. Good luck! Course staff |
| פורסם ב-29/11/2022, 15:01:59 Created on 29/11/2022, 15:01:59 Создано29/11/2022, 15:01:59 تم النشر ب-29/11/2022, 15:01:59 |
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 Tuesday, 06.12, 23:59. When you submit an appeal, the entire question may be re-checked in light of your appeal. Course staff |
| עדכון אחרון ב-29/11/2022, 15:03:07 Last updated on 29/11/2022, 15:03:07 Последняя модификация29/11/2022, 15:03:07 تمت الحتلنة الأخيرة ب-29/11/2022, 15:03:07 |
Symbolic execution | |
|
The slides on symbolic execution in tutorial 3 are not mandatory, and we won't cover them in tutorial 4. In case you choose to read them, we will be glad to answer any questions you may have. Course staff |
| פורסם ב-21/11/2022, 11:50:40 Created on 21/11/2022, 11:50:40 Создано21/11/2022, 11:50:40 تم النشر ب-21/11/2022, 11:50:40 |
HW2 | |
|
HW2 has been published. TA in charge: Omer Due date: 29.11, 23:59. There will be a workshop for this assignment on Sunday, 27.11, from 16:30-17:30 in Taub 4. Reminder: Submissions are in pairs. Good luck! Course staff |
| פורסם ב-15/11/2022, 16:04:16 Created on 15/11/2022, 16:04:16 Создано15/11/2022, 16:04:16 تم النشر ب-15/11/2022, 16:04:16 |
Next week's lecture | |
|
Hello all, There will be a double lecture next week (15.11) covering both lectures 3 and 4 (similar to HARTZAAT HASHLAMA). We won't have more lectures than necessary (this isn't an extra lecture). We are making this change in order to ensure lectures and tutorials are in sync. The videos for this lecture can now be found under the "Course Material" tab. Course staff |
| פורסם ב-8/11/2022, 15:28:43 Created on 8/11/2022, 15:28:43 Создано8/11/2022, 15:28:43 تم النشر ب-8/11/2022, 15:28:43 |
HW1 | |
|
HW1 has been published. TA in charge: Roy Due date: 15.11, 23:59. There will be a workshop for this assignment on Sunday, 13.11, from 17:30-18:30 in Taub 4. Reminder: Submissions are in pairs. Good luck! Course staff |
| פורסם ב-30/10/2022, 11:14:14 Created on 30/10/2022, 11:14:14 Создано30/10/2022, 11:14:14 تم النشر ب-30/10/2022, 11:14:14 |
Second week of the semester | |
|
There will be no classes (lectures and tutorials) during the second week of the semester. The lecture and Roy's tutorial on Tuesday (01.11) are cancelled due to Election Day. Also, Omer's tutorial on Wednesday (02.11) is cancelled and will be made up later in the semester. |
| פורסם ב-20/10/2022, 12:11:14 Created on 20/10/2022, 12:11:14 Создано20/10/2022, 12:11:14 تم النشر ب-20/10/2022, 12:11:14 |
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 |
| עדכון אחרון ב-19/10/2022, 21:26:42 Last updated on 19/10/2022, 21:26:42 Последняя модификация19/10/2022, 21:26:42 تمت الحتلنة الأخيرة ب-19/10/2022, 21:26:42 |