Moed B Appeals | |
The appeals were returned under the assignments tab, and the grades were updated. |
פורסם ב-24/3/2021, 21:09:53 Created on 24/3/2021, 21:09:53 Создано24/3/2021, 21:09:53 تم النشر ب-24/3/2021, 21:09:53 |
Moed B and Final B grades published | |
Dear students, The grades for the exam are now available online. The scans will be available soon. A factor was given to the exam grade according to the following formula: FactoredGrade = ExamGrade + 15 Appeals can be submitted via the webcourse by 20.3.21, through the assignments tab, under Moed B. 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 Ohad as soon as possible. Good luck! Course staff |
עדכון אחרון ב-14/3/2021, 09:09:52 Last updated on 14/3/2021, 09:09:52 Последняя модификация14/3/2021, 09:09:52 تمت الحتلنة الأخيرة ب-14/3/2021, 09:09:52 |
Moed Miluim | |
Hello all, If you are eligible for Moed Miluim, please email Ohad with your request and proper paperwork by 20.3.2021. 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. |
פורסם ב-6/3/2021, 15:56:35 Created on 6/3/2021, 15:56:35 Создано6/3/2021, 15:56:35 تم النشر ب-6/3/2021, 15:56:35 |
Students for the Inquiry | |
The list is published via the attached link: https://docs.google.com/document/d/1Jjn4PpnJjM5q5hdLnKS5IKuVJdJm8PiIi7glJDyAc0E/edit?usp=sharing Course staff |
פורסם ב-5/3/2021, 11:13:49 Created on 5/3/2021, 11:13:49 Создано5/3/2021, 11:13:49 تم النشر ب-5/3/2021, 11:13:49 |
Teachers' Room - Moed B | |
In case of technical difficulties before or during the exam, please join the teachers' room Zoom meeting: https://technion.zoom.us/j/94424603807 Good luck! Course staff |
פורסם ב-5/3/2021, 08:11:45 Created on 5/3/2021, 08:11:45 Создано5/3/2021, 08:11:45 تم النشر ب-5/3/2021, 08:11:45 |
Modification of Raissa's reception hour | |
Hello all, The reception hour of Raissa will take place on Wednesday, 3.3.2021, 15:00-18:00 (instead of 1.3.2021). Good luck ! Course staff |
פורסם ב-28/2/2021, 14:04:47 Created on 28/2/2021, 14:04:47 Создано28/2/2021, 14:04:47 تم النشر ب-28/2/2021, 14:04:47 |
Moed B | |
Hello all, Moed B will take place on Friday, 5.3.2021, 9:00-11:30 via Zoom. The exam, protected by a password in a zip, will be published approximately 30 minutes before the exam. Please make sure that when you open the file, a password is required. The password will be given at 9:00 when the exam begins. Note that you will be required to submit the solution to each question separately, via the webcourse. The exam is with open (non-electronic) material. The material for the exam is everything that was taught throughout the semester, in both lectures and tutorials. Detailed instructions can be found under 'Assignments->Moed B'. Please read them carefully, and make sure you have everything ready before the exam. Please note, that participating in the exam or downloading the (to-be-published) exam file, is as agreeing to the information release and the instructions of the exam. Reception hours for the exam (using the lecture/tutorial links): Sunday, 28.2.2021, 10:00-11:00 - Yakir - https://technion.zoom.us/j/97063832551 Monday, 1.3.2021, 15:00-18:00 - Raissa - https://technion.zoom.us/j/99138889488 Wednesday, 3.3.2021, 12:00-14:00 - Ohad - https://technion.zoom.us/j/96381131308 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 for them. Questions sent beforehand will be prioritized to be answered first. Good luck to all of you, Course staff |
עדכון אחרון ב-24/2/2021, 09:23:16 Last updated on 24/2/2021, 09:23:16 Последняя модификация24/2/2021, 09:23:16 تمت الحتلنة الأخيرة ب-24/2/2021, 09:23:16 |
Moed A Appeals | |
The appeals were returned under the assignments tab, and the grades were updated. |
פורסם ב-22/2/2021, 18:17:23 Created on 22/2/2021, 18:17:23 Создано22/2/2021, 18:17:23 تم النشر ب-22/2/2021, 18:17: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 was given to the exam grade according to the following formula: FactoredGrade = 10 * sqrt(ExamGrade - 5) + 5 Appeals can be submitted via the webcourse by 21.2.21, through the assignments tab, under Moed A. 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 Ohad as soon as possible. Good luck! Course staff |
עדכון אחרון ב-17/2/2021, 10:35:55 Last updated on 17/2/2021, 10:35:55 Последняя модификация17/2/2021, 10:35:55 تمت الحتلنة الأخيرة ب-17/2/2021, 10:35:55 |
Students for the Inquiry | |
The list is published via the attached link: https://docs.google.com/document/d/1J5Qlr1Dk_0OVViXKdefb4CzfFp-G232m4IibbM_xNqo/edit?usp=sharing Course staff |
פורסם ב-7/2/2021, 11:20:35 Created on 7/2/2021, 11:20:35 Создано7/2/2021, 11:20:35 تم النشر ب-7/2/2021, 11:20:35 |
Moed A Zip Uploaded | |
The file can be found under 'Assignments->Moed A->Moed A'. Good luck :) Course staff |
פורסם ב-7/2/2021, 08:41:28 Created on 7/2/2021, 08:41:28 Создано7/2/2021, 08:41:28 تم النشر ب-7/2/2021, 08:41:28 |
Teachers' Room | |
In case of technical difficulties before or during the exam, please join the teachers' room Zoom meeting: https://technion.zoom.us/j/91823610346 Good luck! Course staff |
פורסם ב-7/2/2021, 08:20:03 Created on 7/2/2021, 08:20:03 Создано7/2/2021, 08:20:03 تم النشر ب-7/2/2021, 08:20:03 |
Correction - Ohad's Reception Hour | |
Hi all, In the solution of one of the questions solved in Ohad's reception hour, a mistake was made. The correction was added as a comment both to the recording and under 'Course Material->Exam Reception Hours'. Good luck, Course staff |
פורסם ב-5/2/2021, 12:42:20 Created on 5/2/2021, 12:42:20 Создано5/2/2021, 12:42:20 تم النشر ب-5/2/2021, 12:42:20 |
Moed A - Detailed Instructions | |
Detailed instructions can be found under 'Assignments->Moed A'. Please read them carefully, and make sure you have everything ready before the exam. Please note, that participating in the exam or downloading the (to-be-published) exam file, is as agreeing to the information release and the instructions of the exam. Good Luck! Course staff |
פורסם ב-3/2/2021, 11:01:19 Created on 3/2/2021, 11:01:19 Создано3/2/2021, 11:01:19 تم النشر ب-3/2/2021, 11:01:19 |
HW6 and HW average 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 Sunday, 7.2.21, 19:00. When you submit an appeal, the entire question may be re-checked in light of your appeal. The average for the assignments was calculated and posted. It is the rounded average of the best 5 assignment. Please make sure that no errors occurred in your grades. Contact Ohad until Sunday, 7.2.21, 19:00 otherwise. Good luck! Course staff |
פורסם ב-1/2/2021, 11:58:09 Created on 1/2/2021, 11:58:09 Создано1/2/2021, 11:58:09 تم النشر ب-1/2/2021, 11:58:09 |
HW5 grades | |
The grades and feedback for the fifth assignment are available in the GR system. Appeals should be sent to the TA in charge of this assignment by email, by Wednesday, 3.2.21, 19:00. When you submit an appeal, the entire question may be re-checked in light of your appeal. Good luck! Course staff |
פורסם ב-29/1/2021, 16:57:46 Created on 29/1/2021, 16:57:46 Создано29/1/2021, 16:57:46 تم النشر ب-29/1/2021, 16:57:46 |
Moed A | |
Hello all, Moed A will take place on Sunday, 7.2.2021, 9:00-11:30 via Zoom. The exam, protected by a password in a zip, will be published approximately 30 minutes before the exam. Please make sure that when you open the file, a password is required. The password will be given at 9:00 when the exam begins. Note that you will be required to submit the solution to each question separately, via the webcourse. The exam is with open (non-electronic) material. The material for the exam is everything that was taught throughout the semester, in both lectures and tutorials. Reception hours for the exam (using the lecture/tutorial links): Wednesday, 3.2.2021, 15:00-17:00 - Raissa - https://technion.zoom.us/j/99138889488 Thursday, 4.2.2021, 13:00-14:00 - Yakir - https://technion.zoom.us/j/97063832551 Thursday, 4.2.2021, 15:00-18:00 - Ohad - https://technion.zoom.us/j/96381131308 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 |
עדכון אחרון ב-31/1/2021, 17:05:03 Last updated on 31/1/2021, 17:05:03 Последняя модификация31/1/2021, 17:05:03 تمت الحتلنة الأخيرة ب-31/1/2021, 17:05:03 |
Regarding Previous Exams | |
There are a few subjects that appear in some previous exams, but were not taught this semester: * Hoare proof rules and the While language * Predicate abstraction * CEGAR When you are solving previous exams (under "Course Material"), you can skip those questions. |
עדכון אחרון ב-20/1/2021, 18:07:22 Last updated on 20/1/2021, 18:07:22 Последняя модификация20/1/2021, 18:07:22 تمت الحتلنة الأخيرة ب-20/1/2021, 18:07:22 |
Last Lecture | |
Hello all, The lecture this week will be "live" and not pre-recorded. See you Wednesday. |
פורסם ב-18/1/2021, 10:28:02 Created on 18/1/2021, 10:28:02 Создано18/1/2021, 10:28:02 تم النشر ب-18/1/2021, 10:28:02 |
HW4 grades | |
The grades and feedback for the fourth assignment are available in the GR system. Appeals should be sent to the TA in charge of this assignment by email, by Thursday, 21.1.21, 19:00. When you submit an appeal, the entire question may be re-checked in light of your appeal. Good luck! Course staff |
פורסם ב-15/1/2021, 11:08:31 Created on 15/1/2021, 11:08:31 Создано15/1/2021, 11:08:31 تم النشر ب-15/1/2021, 11:08:31 |
Online Lectures | |
There will be no online lecture tomorrow (13.1.2021) |
פורסם ב-12/1/2021, 21:11:26 Created on 12/1/2021, 21:11:26 Создано12/1/2021, 21:11:26 تم النشر ب-12/1/2021, 21:11:26 |
HW6 Published | |
TA in charge: Raissa Due date: 20.1.21, 23:59. Workshop for this assignment will be given on Thursday 14.1.21 at 9:30-10:30, using Raissa's reception hour link. The workshop will not be recorded. Good luck! Course staff |
פורסם ב-6/1/2021, 18:50:36 Created on 6/1/2021, 18:50:36 Создано6/1/2021, 18:50:36 تم النشر ب-6/1/2021, 18:50:36 |
HW5 Published | |
TA in charge: Ohad Due date: 12.1.21, 23:59. Workshop for this assignment will be given on Thursday 7.1.21 at 15:30-16:30, using Ohad's reception hour link. The workshop will not be recorded. Good luck! Course staff |
פורסם ב-29/12/2020, 11:15:22 Created on 29/12/2020, 11:15:22 Создано29/12/2020, 11:15:22 تم النشر ب-29/12/2020, 11:15:22 |
HW3 grades | |
The grades and feedback for the third assignment are available in the GR system. Appeals should be sent to the TA in charge of this assignment by email, by Thursday, 7.1.21, 19:00. When you submit an appeal, the entire question may be re-checked in light of your appeal. Good luck! Course staff |
עדכון אחרון ב-28/12/2020, 11:13:54 Last updated on 28/12/2020, 11:13:54 Последняя модификация28/12/2020, 11:13:54 تمت الحتلنة الأخيرة ب-28/12/2020, 11:13:54 |
HW4 Published | |
TA in charge: Raissa Due date: 30.12.20, 23:59. Workshop for this assignment will be given on Thursday 24.12.20 at 9:30-10:30, using Raissa's reception hour link. The workshop will not be recorded. Good luck! Course staff |
פורסם ב-9/12/2020, 12:09:53 Created on 9/12/2020, 12:09:53 Создано9/12/2020, 12:09:53 تم النشر ب-9/12/2020, 12:09:53 |
Lecture 9 is Available | |
We will go over both lecture 8 and 9 this week on Wednesday. |
פורסם ב-7/12/2020, 11:54:16 Created on 7/12/2020, 11:54:16 Создано7/12/2020, 11:54:16 تم النشر ب-7/12/2020, 11:54:16 |
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 Tuesday, 15.12.20, 19:00. When you submit an appeal, the entire question may be re-checked in light of your appeal. Good luck! Course staff |
פורסם ב-6/12/2020, 17:16:20 Created on 6/12/2020, 17:16:20 Создано6/12/2020, 17:16:20 تم النشر ب-6/12/2020, 17:16:20 |
Complementary Tutorial for Raissa's Group | |
Raissa will hold a complementary tutorial on Sunday, 6.12.2020 at 17:30-18:20, using the regular tutorial link. This will be instead of the last tutorial of the semester (26.1.2021). Regards, Course staff |
עדכון אחרון ב-29/11/2020, 22:05:55 Last updated on 29/11/2020, 22:05:55 Последняя модификация29/11/2020, 22:05:55 تمت الحتلنة الأخيرة ب-29/11/2020, 22:05:55 |
EFp not in LTL | |
Hello all, You will find under the tutorials section a recording video (~7 minutes) where we show that EFp is not in LTL. There is also a pdf with the notes of this video. This is for students who wanted to see how it looks to show that there is no formula equivalent to another. Course staff |
עדכון אחרון ב-26/11/2020, 09:04:14 Last updated on 26/11/2020, 09:04:14 Последняя модификация26/11/2020, 09:04:14 تمت الحتلنة الأخيرة ب-26/11/2020, 09:04:14 |
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 Thursday, 3.12.20, 19:00. When you submit an appeal, the entire question may be re-checked in light of your appeal. Good luck! Course staff |
פורסם ב-24/11/2020, 22:36:04 Created on 24/11/2020, 22:36:04 Создано24/11/2020, 22:36:04 تم النشر ب-24/11/2020, 22:36:04 |
Lecture 7 | |
Hello all, As you have noticed Lecture 7 was published quite late. Due to that, we will not hold our lecture tomorrow for discussion and questions. Instead, next week we will have a discussion and questions for both Lecture 7 and 8. Sorry for the delay, Yakir |
פורסם ב-24/11/2020, 22:11:38 Created on 24/11/2020, 22:11:38 Создано24/11/2020, 22:11:38 تم النشر ب-24/11/2020, 22:11:38 |
HW3 Published | |
TA in charge: Ohad Due date: 8.12.20, 23:59. Workshop for this assignment will be given on Thursday 3.12.20 at 15:30-16:30, using Ohad's reception hour link. The workshop will not be recorded. Good luck! Course staff |
עדכון אחרון ב-24/11/2020, 17:37:36 Last updated on 24/11/2020, 17:37:36 Последняя модификация24/11/2020, 17:37:36 تمت الحتلنة الأخيرة ب-24/11/2020, 17:37:36 |
Mid-Course Questionnaire | |
In the following link, there is a survey regarding your experiences during this semester. We will greatly appreciate if you take your time, answer the questions and give us feedback. Link: https://forms.gle/z3LCPaHwLUcWKGJL9 Thanks, Course staff |
פורסם ב-23/11/2020, 20:20:38 Created on 23/11/2020, 20:20:38 Создано23/11/2020, 20:20:38 تم النشر ب-23/11/2020, 20:20:38 |
HW2 Published | |
TA in charge: Raïssa Due date: 24.11.20, 23:59. Workshop for this assignment will be given on Thursday 12.11.20 at 10:30-11:30, using Raïssa's reception hour link. The workshop will not be recorded. Reminder: The submission is in pair. Good luck! Course staff |
עדכון אחרון ב-4/11/2020, 22:24:49 Last updated on 4/11/2020, 22:24:49 Последняя модификация4/11/2020, 22:24:49 تمت الحتلنة الأخيرة ب-4/11/2020, 22:24:49 |
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 |
פורסם ב-1/11/2020, 10:40:37 Created on 1/11/2020, 10:40:37 Создано1/11/2020, 10:40:37 تم النشر ب-1/11/2020, 10:40:37 |
HW1 Published | |
TA in charge: Ohad Due date: 11.11.20, 23:59. Workshop for this assignment will be given on Thursday, 5.11.20 at 10:30-11:30, using Ohad's reception hour link. The workshop will not be recorded. Reminder: The submission is in pair. Good luck! Course staff |
עדכון אחרון ב-28/10/2020, 18:47:47 Last updated on 28/10/2020, 18:47:47 Последняя модификация28/10/2020, 18:47:47 تمت الحتلنة الأخيرة ب-28/10/2020, 18:47:47 |
Online Lectures | |
Hello all, The lectures for Week 1 and 2 are now online under course material. Lectures will be uploaded once they become available. |
עדכון אחרון ב-22/10/2020, 14:21:17 Last updated on 22/10/2020, 14:21:17 Последняя модификация22/10/2020, 14:21:17 تمت الحتلنة الأخيرة ب-22/10/2020, 14:21:17 |
Tutorial Recordings | |
The recording of the first tutorial as well as the annotated slides were added under 'Course Material'. Hopefully, the following tutorials will be uploaded within a day from the recording. Similar announcements regarding the tutorials will not be posted. Course Staff |
פורסם ב-21/10/2020, 19:02:20 Created on 21/10/2020, 19:02:20 Создано21/10/2020, 19:02:20 تم النشر ب-21/10/2020, 19:02:20 |
First Lecture | |
Hello all, We will hold our first lecture on Wednesday at 10:30. Please note that the Zoom link appears under the Staff tab. It is important that you attend this lecture as we will go through the logistics of the course during this complicated COVID-19 era. "See" you soon! |
פורסם ב-18/10/2020, 14:32:50 Created on 18/10/2020, 14:32:50 Создано18/10/2020, 14:32:50 تم النشر ب-18/10/2020, 14:32:50 |
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. During the semester the lectures will be composed of asynchronous (videos) and synchronous (Zoom) parts. Tutorials will take place via Zoom. We wish you a fruitful and enjoyable semester! Course staff |
פורסם ב-4/10/2020, 08:35:59 Created on 4/10/2020, 08:35:59 Создано4/10/2020, 08:35:59 تم النشر ب-4/10/2020, 08:35:59 |