Moed Corona | |
Hello all, If you are eligible for Moed Corona, please email Ohad with your request and proper paperwork by 14.5.2020, even if you already contacted us. Good luck! Course staff |
פורסם ב-10/5/2020, 13:32:51 Created on 10/5/2020, 13:32:51 Создано10/5/2020, 13:32:51 تم النشر ب-10/5/2020, 13:32:51 |
Moed B Appeals | |
The appeals were returned under the assignments tab, and the grades were updated. |
פורסם ב-28/3/2020, 12:29:49 Created on 28/3/2020, 12:29:49 Создано28/3/2020, 12:29:49 تم النشر ب-28/3/2020, 12:29:49 |
Moed B Appeals | |
Dear students, The scans of moed B are now available online. Appeals can be submitted via the webcourse by 23.3.20, through the assignments tab. When you submit an appeal, the entire question will be re-checked in light of your appeal. Comments about the number of points that were reduced per the mistakes will not be considered. Do not add the scanned exam to the appeal unless you wish to mark it. Good luck! Course staff |
פורסם ב-17/3/2020, 10:21:42 Created on 17/3/2020, 10:21:42 Создано17/3/2020, 10:21:42 تم النشر ب-17/3/2020, 10:21:42 |
Moed Miluim | |
Hello all, If you are eligible for Moed Miluim, please email Ohad with your request and proper paperwork by 22.3.2020. Please go over this QA document before sending a request, to make sure you are eligible: http://www.cs.technion.ac.il/undergraduate/qa/qa-special/QA_Special.pdf Good luck! Course staff. |
פורסם ב-15/3/2020, 12:53:08 Created on 15/3/2020, 12:53:08 Создано15/3/2020, 12:53:08 تم النشر ب-15/3/2020, 12:53:08 |
Final B Grades Published | |
Dear students, Grades for the final grades according to Moed B are now published. A factor of 7 points was given to the exam grade. Additionally, all students with final B grades between 53 and 55 got 55. Please make sure the calculation is correct, if not please contact Ohad as soon as possible. Due to coronavirus, the scanned exams might delay. As soon as the scans will be available, we will post the appeal procedure. Good luck with the rest of your exams! Course staff |
פורסם ב-15/3/2020, 12:18:34 Created on 15/3/2020, 12:18:34 Создано15/3/2020, 12:18:34 تم النشر ب-15/3/2020, 12:18:34 |
Moed B - Reminder | |
Moed B will take place today in Taub 6,8,9. Good luck, Course staff |
פורסם ב-8/3/2020, 08:17:24 Created on 8/3/2020, 08:17:24 Создано8/3/2020, 08:17:24 تم النشر ب-8/3/2020, 08:17:24 |
Moed B Reception Hour change | |
Sarai's reception hour will take place on Thursday, 5.3.20, 10:30-11:30, in Taub 201. |
פורסם ב-26/2/2020, 15:13:18 Created on 26/2/2020, 15:13:18 Создано26/2/2020, 15:13:18 تم النشر ب-26/2/2020, 15:13:18 |
Moed B | |
Hello all, Moed B will take place on Sunday, 8.3.2020, 9:00-12:00 in Taub 6,8,9. The exam is with open (non-electronic) material. The material for the exam is everything that was taught throughout the semester, in both the lectures and the tutorials. Reception hours for the exam: Tuesday, 3.3.20, 13:00-14:00, Orna, Taub 620. Wednesday, 4.3.20, 11:30-15:30, Ohad, Taub 401. Thursday, 5.3.20, 11:30-12:30, Sarai, Taub 201. You are kindly requested to send the questions you would like to ask before the reception hour, so we'll be able to prepare a full solution to them. Questions sent beforehand will be prioritized to be answered first. Good luck to all of you, Course staff |
פורסם ב-26/2/2020, 14:31:05 Created on 26/2/2020, 14:31:05 Создано26/2/2020, 14:31:05 تم النشر ب-26/2/2020, 14:31:05 |
Moed B Exam - Room Changes | |
Moed B will take place on Sunday, 8.3.2020, 9:00-12:00 in Taub 6,8,9. Notice that this is different than the message you received before. Regards, Course staff |
פורסם ב-26/2/2020, 11:07:40 Created on 26/2/2020, 11:07:40 Создано26/2/2020, 11:07:40 تم النشر ب-26/2/2020, 11:07:40 |
Moed A Appeals | |
The appeals were returned under the assignments tab, and the grades were updated. |
פורסם ב-23/2/2020, 18:02:56 Created on 23/2/2020, 18:02:56 Создано23/2/2020, 18:02:56 تم النشر ب-23/2/2020, 18:02:56 |
Final A Grades Published | |
Dear students, Grades for the HW average and the final grades according to Moed A are now published. Please make sure the calculation is correct, if not please contact Ohad as soon as possible. Good luck with the rest of your exams! Course staff |
פורסם ב-13/2/2020, 21:58:13 Created on 13/2/2020, 21:58:13 Создано13/2/2020, 21:58:13 تم النشر ب-13/2/2020, 21:58:13 |
HW6 grades | |
The grades for the sixth assignment are available in the GR system. The checked assignments were uploaded to the course site. A common mistakes file will soon be found under the ‘Assignments’ section. 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. Appeals should be sent to the TA in charge of this assignment by email, by Monday, 17.2.2020, 19:00. When you submit an appeal, the entire question may be re-checked in light of your appeal. Good luck! Course staff |
פורסם ב-13/2/2020, 21:43:34 Created on 13/2/2020, 21:43:34 Создано13/2/2020, 21:43:34 تم النشر ب-13/2/2020, 21:43:34 |
Moed A grades published | |
Dear students, The grades for the exam are now available online. The scans will be available soon. Appeals can be submitted via the webcourse by 17.2.19, through the assignments tab. When you submit an appeal, the entire question will be re-checked in light of your appeal. Comments about the number of points that were reduced per the mistakes will not be considered. Do not add the scanned exam to the appeal unless you wish to mark it. Good luck! Course staff |
פורסם ב-10/2/2020, 14:39:34 Created on 10/2/2020, 14:39:34 Создано10/2/2020, 14:39:34 تم النشر ب-10/2/2020, 14:39:34 |
HW5 Bonus | |
Students who solved the bonus in the assignment and did not get additional points are requested to send an email with their IDs to Ohad until 5.2.2020 at 19:00. Notice that this holds also for students who already messaged us regarding this issue. |
פורסם ב-3/2/2020, 12:44:30 Created on 3/2/2020, 12:44:30 Создано3/2/2020, 12:44:30 تم النشر ب-3/2/2020, 12:44:30 |
HW5 grades | |
The grades for the fifth assignment are available in the GR system. The checked assignments were uploaded to the course site. A common mistakes file will soon be found under the ‘Assignments’ section. 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. Appeals should be sent to the TA in charge of this assignment by email, by Sunday, 9.2.2020, 19:00. When you submit an appeal, the entire question may be re-checked in light of your appeal. Good luck! Course staff |
פורסם ב-2/2/2020, 20:29:04 Created on 2/2/2020, 20:29:04 Создано2/2/2020, 20:29:04 تم النشر ب-2/2/2020, 20:29:04 |
Moed A | |
Hello all, Moed A will take place on Wednesday, 5.2.2020, 9:00-12:00 in Taub 5,6,7,8,9. The exam is with open (non-electronic) material. The material for the exam is everything that was taught throughout the semester, in both the lectures and the tutorials. Reception hours for the exam: Sunday, 2.2.20, 12:00-13:00, Orna, Taub 620. Sunday, 2.2.20, 13:30-16:30, Ohad, Taub 4. Monday, 3.2.20, 10:30-11:30, Sarai, Taub 4. Tuesday, 4.2.20, 9:30-10:30, Ohad, Taub 4. You are kindly requested to send the questions you would like to ask before the reception hour, so we'll be able to prepare a full solution to them. Questions sent beforehand will be prioritized to be answered first. Good luck to all of you, Course staff |
פורסם ב-29/1/2020, 14:13:48 Created on 29/1/2020, 14:13:48 Создано29/1/2020, 14:13:48 تم النشر ب-29/1/2020, 14:13:48 |
HW4 grades | |
The grades for the fourth assignment are available in the GR system. The checked assignments were uploaded to the course site. A common mistakes file can be found under the ‘Assignments’ section. 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. Appeals should be sent to the TA in charge of this assignment by email, by Thesday, 4.2.2020, 19:00. When you submit an appeal, the entire question may be re-checked in light of your appeal. Good luck! Course staff |
פורסם ב-28/1/2020, 21:27:12 Created on 28/1/2020, 21:27:12 Создано28/1/2020, 21:27:12 تم النشر ب-28/1/2020, 21:27:12 |
Schedule Changes - Reminder | |
On Sunday, there will be an additional tutorial for Sarai's group at 16:30 in Taub 5. Additionally, there will be no lecture on Monday. Regards, Course staff |
פורסם ב-16/1/2020, 20:02:38 Created on 16/1/2020, 20:02:38 Создано16/1/2020, 20:02:38 تم النشر ب-16/1/2020, 20:02:38 |
HW6 Workshop | |
The workshop regarding HW6 will take place on 20.1.20 at 17:30 in Taub 3. Regards, Course staff |
פורסם ב-14/1/2020, 15:53:46 Created on 14/1/2020, 15:53:46 Создано14/1/2020, 15:53:46 تم النشر ب-14/1/2020, 15:53:46 |
HW6 Published | |
TA in charge: Sarai Due date: 23.1.20, 23:59. Good luck! Course staff |
פורסם ב-9/1/2020, 22:39:10 Created on 9/1/2020, 22:39:10 Создано9/1/2020, 22:39:10 تم النشر ب-9/1/2020, 22:39:10 |
HW3 grades | |
The grades for the third assignment are available in the GR system. The checked assignments were uploaded to the course site. A common mistakes file can be found under the ‘Assignments’ section. 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. Appeals should be sent to the TA in charge of this assignment by email, by Thursday, 16.1.2020, 19:00. When you submit an appeal, the entire question may be re-checked in light of your appeal. Good luck! Course staff |
פורסם ב-8/1/2020, 21:36:45 Created on 8/1/2020, 21:36:45 Создано8/1/2020, 21:36:45 تم النشر ب-8/1/2020, 21:36:45 |
Complementary Tutorial - Sarai's Group | |
A complementary tutorial for Sarai's group will take place on Sunday, January 19, at 16:30 in Taub 5. This will be instead of the last tutorial for the semester (26.1.20). Regards, Course staff |
פורסם ב-31/12/2019, 15:10:16 Created on 31/12/2019, 15:10:16 Создано31/12/2019, 15:10:16 تم النشر ب-31/12/2019, 15:10:16 |
HW5 Workshop | |
The workshop regarding HW5 will take place on 8.1.20 at 17:30 in Taub 4. Regards, Course staff |
פורסם ב-31/12/2019, 15:08:42 Created on 31/12/2019, 15:08:42 Создано31/12/2019, 15:08:42 تم النشر ب-31/12/2019, 15:08:42 |
HW5 Published | |
TA in charge: Ohad Due date: 13.1.20, 23:59. Good luck! Course staff |
פורסם ב-30/12/2019, 10:18:02 Created on 30/12/2019, 10:18:02 Создано30/12/2019, 10:18:02 تم النشر ب-30/12/2019, 10:18:02 |
HW2 grades | |
The grades for the second assignment are available in the GR system. The checked assignments were uploaded to the course site. A common mistakes file can be found under the ‘Assignments’ section. 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. Appeals should be sent to the TA in charge of this assignment by email, by Tuesday, 31.12.19, 19:00. When you submit an appeal, the entire question may be re-checked in light of your appeal. Good luck! Course staff |
פורסם ב-22/12/2019, 17:59:10 Created on 22/12/2019, 17:59:10 Создано22/12/2019, 17:59:10 تم النشر ب-22/12/2019, 17:59:10 |
Lecture Cancellation and Complementary Lecture | |
The lecture on 6.1.2020 is cancelled and a complementary lecture will take place on Wednesday, 1.1.2020 at 12:30-14:30 in Taub 9. Notice that the lecture this week is held as usual. Course staff |
פורסם ב-22/12/2019, 13:19:50 Created on 22/12/2019, 13:19:50 Создано22/12/2019, 13:19:50 تم النشر ب-22/12/2019, 13:19:50 |
HW4 Workshop | |
The workshop regarding HW4 will take place on 30.12.19 at 17:30 in Taub 3. Regards, Course staff |
עדכון אחרון ב-22/12/2019, 12:51:09 Last updated on 22/12/2019, 12:51:09 Последняя модификация22/12/2019, 12:51:09 تمت الحتلنة الأخيرة ب-22/12/2019, 12:51:09 |
HW4 Published | |
TA in charge: Sarai Due date: 2.1.20, 23:59. Good luck! Course staff |
פורסם ב-16/12/2019, 18:06:24 Created on 16/12/2019, 18:06:24 Создано16/12/2019, 18:06:24 تم النشر ب-16/12/2019, 18:06:24 |
Cancelation of Sarai's Complementary Tutorial | |
Sarai's complementary tutorial on Sunday, December 22 is cancelled. Another one will be scheduled later this semester. Regards, Course staff |
עדכון אחרון ב-15/12/2019, 15:21:41 Last updated on 15/12/2019, 15:21:41 Последняя модификация15/12/2019, 15:21:41 تمت الحتلنة الأخيرة ب-15/12/2019, 15:21:41 |
Complementary Tutorial - Sarai's Group | |
A complementary tutorial for Sarai's group will take place on Sunday, December 22, at 15:30 in Taub 6. This will be instead of the last tutorial for the semester. Regards, Course staff |
פורסם ב-10/12/2019, 15:16:45 Created on 10/12/2019, 15:16:45 Создано10/12/2019, 15:16:45 تم النشر ب-10/12/2019, 15:16:45 |
HW1 grades | |
The grades for the first assignment are available in the GR system. The checked assignments were uploaded to the course site. A common mistakes file can be found under the ‘Assignments’ section. 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. Appeals should be sent to the TA in charge of this assignment by email, by Thursday, 12.12.19, 19:00. When you submit an appeal, the entire question may be re-checked in light of your appeal. Good luck! Course staff |
פורסם ב-4/12/2019, 00:16:12 Created on 4/12/2019, 00:16:12 Создано4/12/2019, 00:16:12 تم النشر ب-4/12/2019, 00:16:12 |
HW3 Workshop | |
The workshop regarding HW3 will take place on 10.12.19 at 17:30 in Taub 201. Regards, Course Staff |
פורסם ב-1/12/2019, 12:57:29 Created on 1/12/2019, 12:57:29 Создано1/12/2019, 12:57:29 تم النشر ب-1/12/2019, 12:57:29 |
HW3 Published | |
TA in charge: Ohad Due date: 16.12.19, 23:59. Good luck! Course staff |
פורסם ב-28/11/2019, 18:36:32 Created on 28/11/2019, 18:36:32 Создано28/11/2019, 18:36:32 تم النشر ب-28/11/2019, 18:36:32 |
HW2 Extension | |
Due to unexpected complications regarding question 3 in HW2 (because of the need to distinguish finite and infinite traces in the program), an extension is given until December 2nd, 2019. Additionally, solutions that will relate only to infinite traces (while constraining finite traces) will get partial grading, even though they are not complete. Notice that HW3 will be released tomorrow as scheduled. Good luck, Course staff |
פורסם ב-26/11/2019, 21:43:51 Created on 26/11/2019, 21:43:51 Создано26/11/2019, 21:43:51 تم النشر ب-26/11/2019, 21:43:51 |
HW2 Workshop | |
The workshop regarding HW2 will take place on 20.11.19 at 16:30 in Taub 201. Regards, Course Staff |
פורסם ב-13/11/2019, 17:39:20 Created on 13/11/2019, 17:39:20 Создано13/11/2019, 17:39:20 تم النشر ب-13/11/2019, 17:39:20 |
HW2 Published | |
TA in charge: Sarai Due date: 28.11.19, 23:59. Good luck! Course staff |
פורסם ב-10/11/2019, 17:38:19 Created on 10/11/2019, 17:38:19 Создано10/11/2019, 17:38:19 تم النشر ب-10/11/2019, 17:38:19 |
HW1 - Clarifications | |
Some clarifications to the first assignment were made. The new files are on the course website. Changes are marked in yellow. Good Luck, Course Staff |
פורסם ב-10/11/2019, 15:06:15 Created on 10/11/2019, 15:06:15 Создано10/11/2019, 15:06:15 تم النشر ب-10/11/2019, 15:06:15 |
Ohad's Tutorials Location Change | |
From this Monday forward, Ohad's tutorials will take place at Taub 5 instead of Taub 6. |
פורסם ב-8/11/2019, 12:01:17 Created on 8/11/2019, 12:01:17 Создано8/11/2019, 12:01:17 تم النشر ب-8/11/2019, 12:01:17 |
Comlementary Tutorial For Sarai's Group - Reminder | |
This Sunday, there will be a complementary tutorial for Sarai's group right after the tutorial (16:30) at Taub 4. |
פורסם ב-8/11/2019, 11:58:45 Created on 8/11/2019, 11:58:45 Создано8/11/2019, 11:58:45 تم النشر ب-8/11/2019, 11:58:45 |
Workshop Location | |
The workshop on Wednesday, 13.11.19 will take place at Ulman 301. |
פורסם ב-4/11/2019, 18:28:13 Created on 4/11/2019, 18:28:13 Создано4/11/2019, 18:28:13 تم النشر ب-4/11/2019, 18:28:13 |
Complementary Lecture - Reminder | |
This Wednesday there will be a complementary lecture on 12:30 at Taub 7. |
פורסם ב-4/11/2019, 18:27:19 Created on 4/11/2019, 18:27:19 Создано4/11/2019, 18:27:19 تم النشر ب-4/11/2019, 18:27:19 |
HW1 Published | |
TA in charge: Ohad Due date: 17.11.19, 23:59. Workshop for this assignment will be given on Wednesday, 13.11.19 at 16:30-17:30, location will be posted soon. Good luck! Course staff |
פורסם ב-3/11/2019, 17:53:04 Created on 3/11/2019, 17:53:04 Создано3/11/2019, 17:53:04 تم النشر ب-3/11/2019, 17:53:04 |
New Slides Published | |
Slides for the first lecture and tutorial are now available under "Course Material". |
פורסם ב-27/10/2019, 15:16:21 Created on 27/10/2019, 15:16:21 Создано27/10/2019, 15:16:21 تم النشر ب-27/10/2019, 15:16:21 |
Schedule Changes – Reminder and Locations | |
Sarai’s tutorial is cancelled this Sunday (27.10), and a complementary tutorial will take place at Taub 4, on Sunday 10.11. The complementary lecture on 6.11 will be held at Taub 7. |
עדכון אחרון ב-27/10/2019, 14:11:49 Last updated on 27/10/2019, 14:11:49 Последняя модификация27/10/2019, 14:11:49 تمت الحتلنة الأخيرة ب-27/10/2019, 14:11:49 |
Schedule Changes | |
Sarai’s tutorial on Sunday, 27.10 is cancelled. A complementary tutorial will take place on Sunday, 10.11 right after the tutorial at 16:30. The last lecture of the semester (20.1) is cancelled as well and a complementary lecture will take place on Wednesday, 6.11 at 12:30. Locations will be posted in the future. |
עדכון אחרון ב-25/9/2019, 21:22:24 Last updated on 25/9/2019, 21:22:24 Последняя модификация25/9/2019, 21:22:24 تمت الحتلنة الأخيرة ب-25/9/2019, 21:22:24 |
Welcome to Software Verification! (236342) | |
Welcome 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, read the tentative course schedule under the syllabus tab, which specifies lecture and tutorial, along with the publication and submission dates of each homework assignment. Notice that changes to the schedule are possible. Our office hours will be updated soon 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. Schedule changes during first weeks of the semester will be posted soon as well. We wish you a fruitful and enjoyable semester! Course staff |
פורסם ב-18/9/2019, 16:23:50 Created on 18/9/2019, 16:23:50 Создано18/9/2019, 16:23:50 تم النشر ب-18/9/2019, 16:23:50 |