Moed C and Final C grades published | |
Dear students, The grades for the exam are now available online. The scans will be available soon. A factor of 8 points was given to the exam. Appeals can be submitted via the webcourse by 10.04.22 through the assignments tab, separately for each question. Appeals must be typed, and contain the typed solutions to the questions on which you appeal. 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. Additionally, the final grades were calculated and published. Please make sure that the calculation is correct, if not please contact Raïssa as soon as possible. Good luck! Course staff |
פורסם ב-4/4/2022, 15:12:45 Created on 4/4/2022, 15:12:45 Создано4/4/2022, 15:12:45 تم النشر ب-4/4/2022, 15:12:45 |
Moed B, Final B grades and Scans published | |
Dear students, The grades for the exam are now available online. The scans also are available. Appeals can be submitted via the webcourse by 19.03.22 through the assignments tab, separately for each question. Appeals must be typed, and contain the typed solutions to the questions on which you appeal. 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 mistake will not be considered. Do not add the scanned exam to the appeal unless you wish to mark it. Additionally, the final grades were calculated and published. Please make sure that the calculation is correct, if not please contact Raïssa as soon as possible. Good luck! Course staff |
עדכון אחרון ב-15/3/2022, 12:58:01 Last updated on 15/3/2022, 12:58:01 Последняя модификация15/3/2022, 12:58:01 تمت الحتلنة الأخيرة ب-15/3/2022, 12:58:01 |
Roy's reception hour for Moed B | |
Hello all, My reception hour will be tomorrow, 7/3/22, at 15:00 in Taub 8. You are kindly requested to send me the questions you would like to ask before the reception hour. Roy |
עדכון אחרון ב-6/3/2022, 10:55:58 Last updated on 6/3/2022, 10:55:58 Последняя модификация6/3/2022, 10:55:58 تمت الحتلنة الأخيرة ب-6/3/2022, 10:55:58 |
Moed B | |
Hello all, Moed B will take place on Tuesday, 8.3.2022, 9:00-11:30 at Taub 3,4,6. Notice the exam lasts 2 hours and a half, this corresponds to 3 questions. 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. The material covered in lecture 13 will not appear in the exam. Reception hours for the exam: Thursday, 3.3.22, Yakir. Sunday, 6.3.22, Raïssa at 16:00-17:00 on Zoom https://technion.zoom.us/j/97995510822 Monday, 7.3.22, Roy. More details regarding time and location will be published later. 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 |
עדכון אחרון ב-6/3/2022, 07:57:39 Last updated on 6/3/2022, 07:57:39 Последняя модификация6/3/2022, 07:57:39 تمت الحتلنة الأخيرة ب-6/3/2022, 07:57:39 |
Moed A scans are available | |
Hello all, The scans are available. Appeals can be submitted via the webcourse by 25.02.22 under the assignment tab. Good luck ! Course staff |
פורסם ב-21/2/2022, 12:13:23 Created on 21/2/2022, 12:13:23 Создано21/2/2022, 12:13:23 تم النشر ب-21/2/2022, 12:13:23 |
Moed A and Final A grades published | |
Dear students, The grades for the exam are now available online. The scans will be available soon. A factor of 7 points was given to the exam. Appeals can be submitted via the webcourse by 25.02.22 through the assignments tab, separately for each question. Appeals must be typed, and contain the typed solutions to the questions on which you appeal. 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. Additionally, the final grades were calculated and published. Please make sure that the calculation is correct, if not please contact Raïssa as soon as possible. Good luck! Course staff |
עדכון אחרון ב-21/2/2022, 12:11:48 Last updated on 21/2/2022, 12:11:48 Последняя модификация21/2/2022, 12:11:48 تمت الحتلنة الأخيرة ب-21/2/2022, 12:11:48 |
HW6 grades | |
The grades and feedback for the sixth assignment are available in the GR system. Appeals should be sent to the TA in charge of this assignment by email, by Monday, 14.2.22, 16:00. When you submit an appeal, the entire question may be re-checked in light of your appeal. Good luck! Course staff |
פורסם ב-7/2/2022, 16:53:03 Created on 7/2/2022, 16:53:03 Создано7/2/2022, 16:53:03 تم النشر ب-7/2/2022, 16:53:03 |
HW5 grades | |
The grades and feedback for the fifth assignment are available in the GR system. 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 Sunday, 13.2.22, 16:00. When you submit an appeal, the entire question may be re-checked in light of your appeal. Good luck! Course staff |
עדכון אחרון ב-6/2/2022, 15:40:54 Last updated on 6/2/2022, 15:40:54 Последняя модификация6/2/2022, 15:40:54 تمت الحتلنة الأخيرة ب-6/2/2022, 15:40:54 |
Roy's reception hour for Moed A | |
Hello all, My reception hour will be on Monday, 7/2/22, at 14:30 in Taub 6. Good luck! Roy |
עדכון אחרון ב-5/2/2022, 21:16:19 Last updated on 5/2/2022, 21:16:19 Последняя модификация5/2/2022, 21:16:19 تمت الحتلنة الأخيرة ب-5/2/2022, 21:16:19 |
Moed A duration modification | |
Hello all, In order to make it easier for you we've decided the exam will last 2h30 (instead of 2 hours). The number of questions remains the same (3 questions). Good luck! Course staff |
פורסם ב-1/2/2022, 14:38:48 Created on 1/2/2022, 14:38:48 Создано1/2/2022, 14:38:48 تم النشر ب-1/2/2022, 14:38:48 |
Raïssa's videos | |
Hello all, Some of you have informed me that they cannot access some of my videos of last semester. You can find under the tutorials tab a link to Panopto where you can access my tutorials. Please see also the update regarding the reception hours for the exam. Good luck to everyone, Raïssa |
עדכון אחרון ב-31/1/2022, 16:06:33 Last updated on 31/1/2022, 16:06:33 Последняя модификация31/1/2022, 16:06:33 تمت الحتلنة الأخيرة ب-31/1/2022, 16:06:33 |
Moed A | |
Hello all, Moed A will take place on Tuesday, 8.2.2022, 13:00-15:30 at Ulman 602, 604, 605, 606, 607. Notice the exam lasts 2 hours and a half, this corresponds to 3 questions. 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. The material covered in lecture 13 will not appear in the exam. Reception hours for the exam: Thursday, 3.2.22, Yakir, 10:00 on Zoom. Sunday, 6.2.22, Raïssa, 14:00 on Zoom: https://technion.zoom.us/j/98611690387. Monday, 7.2.22, Roy. More details regarding time and location will be published later. 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 |
עדכון אחרון ב-1/2/2022, 14:40:39 Last updated on 1/2/2022, 14:40:39 Последняя модификация1/2/2022, 14:40:39 تمت الحتلنة الأخيرة ب-1/2/2022, 14:40:39 |
HW4 grades | |
The grades and feedback for the fourth assignment are available in the GR system. 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, 06.02.22, 16:00. When you submit an appeal, the entire question may be re-checked in light of your appeal. Good luck! Course staff |
פורסם ב-29/1/2022, 20:57:31 Created on 29/1/2022, 20:57:31 Создано29/1/2022, 20:57:31 تم النشر ب-29/1/2022, 20:57:31 |
Today's tutorial on Zoom | |
Hello all, Raïssa's tutorial today will take place on Zoom at the link https://technion.zoom.us/j/99294486666. See you, Course staff |
פורסם ב-19/1/2022, 09:37:49 Created on 19/1/2022, 09:37:49 Создано19/1/2022, 09:37:49 تم النشر ب-19/1/2022, 09:37:49 |
Last Lecture | |
Hello all, This is a reminder that tomorrow's lecture will be in class and in Zoom. There will be no recording. Yakir |
פורסם ב-18/1/2022, 20:27:59 Created on 18/1/2022, 20:27:59 Создано18/1/2022, 20:27:59 تم النشر ب-18/1/2022, 20:27:59 |
HW3 grades | |
The grades and feedback for the third assignment are available in the GR system. 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 Sunday, 23.1.22, 16:00. When you submit an appeal, the entire question may be re-checked in light of your appeal. Good luck! Course staff |
פורסם ב-16/1/2022, 13:43:55 Created on 16/1/2022, 13:43:55 Создано16/1/2022, 13:43:55 تم النشر ب-16/1/2022, 13:43:55 |
HW5 workshop | |
Hello, The workshop for HW5 will take place on Zoom (tomorrow 16/1/22 at 16:30-17:30). Zoom link: https://technion.zoom.us/j/96507800555 Have a fruitful week, Course staff |
פורסם ב-15/1/2022, 19:53:30 Created on 15/1/2022, 19:53:30 Создано15/1/2022, 19:53:30 تم النشر ب-15/1/2022, 19:53:30 |
HW6 Published | |
TA in charge: Raïssa Due date: 26.1.22, 23:55. Workshop for this assignment will be given on Zoom on Sunday, 23.1.22 at 16:30-17:30. Reminder: The submission is in pair. Good luck! |
עדכון אחרון ב-23/1/2022, 14:05:18 Last updated on 23/1/2022, 14:05:18 Последняя модификация23/1/2022, 14:05:18 تمت الحتلنة الأخيرة ب-23/1/2022, 14:05:18 |
Clarification for question 1 in HW 5 | |
The 2 states in the path which satisfy p can be different from each other. This holds for both A and B. Good luck! Course staff |
פורסם ב-9/1/2022, 22:26:10 Created on 9/1/2022, 22:26:10 Создано9/1/2022, 22:26:10 تم النشر ب-9/1/2022, 22:26:10 |
HW5 Published | |
TA in charge: Roy Due date: 18.01.22, 23:59. The workshop for this assignment will be given on Sunday, 16.01.22 at 16:30-17:30, Taub 219. Reminder: The submission is in pairs. Good luck! Course staff |
פורסם ב-4/1/2022, 10:43:31 Created on 4/1/2022, 10:43:31 Создано4/1/2022, 10:43:31 تم النشر ب-4/1/2022, 10:43:31 |
HW4 workshop + clarification for question 3 | |
Hello all, Workshop for HW4 will take place on Zoom (today 2.01.22 at 16:30-17:30). Zoom link will be published under the assignment section. Clarification in Q3: the knight can take with him at maximum one princess. Good luck and happy new year ! Course staff |
פורסם ב-2/1/2022, 09:58:37 Created on 2/1/2022, 09:58:37 Создано2/1/2022, 09:58:37 تم النشر ب-2/1/2022, 09:58:37 |
HW2 grades | |
The grades and feedback for the second assignment are available in the GR system. 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, 6.1.22, 16:00. When you submit an appeal, the entire question may be re-checked in light of your appeal. Good luck! Course staff |
עדכון אחרון ב-30/12/2021, 13:45:47 Last updated on 30/12/2021, 13:45:47 Последняя модификация30/12/2021, 13:45:47 تمت الحتلنة الأخيرة ب-30/12/2021, 13:45:47 |
HW4 Published | |
TA in charge: Raïssa Due date: 5.1.22, 23:55. Workshop for this assignment will be given on Sunday, 2.1.22 at 16:30-17:30. Reminder: The submission is in pair. Good luck! |
פורסם ב-22/12/2021, 11:10:29 Created on 22/12/2021, 11:10:29 Создано22/12/2021, 11:10:29 تم النشر ب-22/12/2021, 11:10:29 |
Homeworks submission extension | |
Hello all, We've decided to enable you to submit homeworks with a delay of 3 days *in total* for the rest of the semester (with no penalty). It means for instance you can submit hw3 1 day after submission date and hw4 2 days after but then you have to submit hw5 and hw6 on time. You are free to choose how to split these 3 spare days. If you exceed this limit, the penalty will be as described in the info file. Good luck ! Course staff |
עדכון אחרון ב-21/12/2021, 07:34:40 Last updated on 21/12/2021, 07:34:40 Последняя модификация21/12/2021, 07:34:40 تمت الحتلنة الأخيرة ب-21/12/2021, 07:34:40 |
Complementary Tutorial for Roy's Group + HW3 workshop postponement | |
Roy will hold a complementary tutorial on Sunday, 19.12.21, at 16:30-17:20 in Taub 4. The HW3 workshop is postponed to Sunday, 19.12.21, at 17:30-18:20 in Taub 4. Course staff |
פורסם ב-13/12/2021, 15:46:12 Created on 13/12/2021, 15:46:12 Создано13/12/2021, 15:46:12 تم النشر ب-13/12/2021, 15:46:12 |
HW1 grades | |
The grades and feedback for the first assignment are available in the GR system. 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, 19.12.21, 12:00. When you submit an appeal, the entire question may be re-checked in light of your appeal. Good luck! Course staff |
פורסם ב-13/12/2021, 09:37:49 Created on 13/12/2021, 09:37:49 Создано13/12/2021, 09:37:49 تم النشر ب-13/12/2021, 09:37:49 |
HW3 Published | |
TA in charge: Roy Due date: 21.12.21, 23:59. Workshop for this assignment will be given on Wednesday, 15.12.21 at 14:30-15:30, Taub 219. Reminder: The submission is in pairs. Good luck! Course staff |
פורסם ב-7/12/2021, 18:08:24 Created on 7/12/2021, 18:08:24 Создано7/12/2021, 18:08:24 تم النشر ب-7/12/2021, 18:08:24 |
Short Survey | |
Hello all, Here is a short survey: https://forms.gle/jJUVds8Gk1GvwTYK7 You don't have to answer it, but it will help us improve the course if you do :) Chag Sameach, Course staff |
פורסם ב-30/11/2021, 09:29:45 Created on 30/11/2021, 09:29:45 Создано30/11/2021, 09:29:45 تم النشر ب-30/11/2021, 09:29:45 |
HW2 workshop | |
Hello all, Workshop for HW2 will be given on Thursday 25.11.21 at 13:30-14:30 at Taub 4. Good luck! Course staff |
פורסם ב-21/11/2021, 12:00:33 Created on 21/11/2021, 12:00:33 Создано21/11/2021, 12:00:33 تم النشر ب-21/11/2021, 12:00:33 |
Raïssa's Tutorials Location Change | |
Hello all, From this Wednesday forward, Raïssa's tutorials will take place at Taub 9. Have a nice week, Course staff |
פורסם ב-16/11/2021, 10:42:20 Created on 16/11/2021, 10:42:20 Создано16/11/2021, 10:42:20 تم النشر ب-16/11/2021, 10:42:20 |
HW1 Update | |
Dear students, In question 2, k should be greater than 1, you can see this update in the assignment as well. Good luck! Course staff. |
עדכון אחרון ב-12/11/2021, 10:56:02 Last updated on 12/11/2021, 10:56:02 Последняя модификация12/11/2021, 10:56:02 تمت الحتلنة الأخيرة ب-12/11/2021, 10:56:02 |
HW2 Published | |
TA in charge: Raïssa Due date: 7.12.21, 23:55. Time and place for the assignment workshop will be published later. Reminder: The submission is in pair. Good luck! Course staff |
פורסם ב-10/11/2021, 14:22:57 Created on 10/11/2021, 14:22:57 Создано10/11/2021, 14:22:57 تم النشر ب-10/11/2021, 14:22:57 |
Raïssa's Tutorials Back To Ulman | |
Dear students, Until further notice, Raïssa's tutorial will take place at Ulman 301. Course staff |
פורסם ב-9/11/2021, 21:34:56 Created on 9/11/2021, 21:34:56 Создано9/11/2021, 21:34:56 تم النشر ب-9/11/2021, 21:34:56 |
This Week's Lectures | |
Hello all, Please note that according to the course's schedule, this week we have both Lectures 3 and 4 (similar to HARTZAAT HASHLAMA). This is not an extra lecture (we will not have more lectures than we need to). This change is to make sure Lectures and Tutorials are in-sync. Thank you, Course staff |
פורסם ב-7/11/2021, 09:45:58 Created on 7/11/2021, 09:45:58 Создано7/11/2021, 09:45:58 تم النشر ب-7/11/2021, 09:45:58 |
HW1 Published | |
TA in charge: Roy Due date: 17.11.21, 23:59. Workshop for this assignment will be given on Wednesday, 10.11.20 at 14:30-15:30, Taub 219. Reminder: The submission is in pair. Good luck! Course staff |
פורסם ב-3/11/2021, 10:04:18 Created on 3/11/2021, 10:04:18 Создано3/11/2021, 10:04:18 تم النشر ب-3/11/2021, 10:04:18 |
Raïssa's Tutorials Location Change | |
Hello all, From this Wednesday forward, Raïssa's tutorials will take place at Taub 5 instead of Ulman 301. Have a nice week, Course staff |
פורסם ב-1/11/2021, 15:09:32 Created on 1/11/2021, 15:09:32 Создано1/11/2021, 15:09:32 تم النشر ب-1/11/2021, 15:09:32 |
Videos for first and second week | |
Hello all, The videos for the first and second week are now available. The introduction video will be available later today. |
פורסם ב-27/10/2021, 11:30:21 Created on 27/10/2021, 11:30:21 Создано27/10/2021, 11:30:21 تم النشر ب-27/10/2021, 11:30:21 |
Tuesday Tutorial | |
Dear students, The tutorial on Tuesday (October 26) is canceled. A complementary tutorial will be given at a later date. Course staff |
פורסם ב-24/10/2021, 12:12:40 Created on 24/10/2021, 12:12:40 Создано24/10/2021, 12:12:40 تم النشر ب-24/10/2021, 12:12:40 |
Welcome to Introduction to Software Verification! (236342) | |
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, 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. 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 the Winter 2020-2021 semester. We wish you a fruitful and enjoyable semester! Course staff |
עדכון אחרון ב-24/10/2021, 12:11:24 Last updated on 24/10/2021, 12:11:24 Последняя модификация24/10/2021, 12:11:24 تمت الحتلنة الأخيرة ب-24/10/2021, 12:11:24 |