Moed B Appeals | |
The appeals were returned under the assignments tab, and the grades were updated. |
פורסם ב-28/3/2019, 16:28:46 Created on 28/3/2019, 16:28:46 Создано28/3/2019, 16:28:46 تم النشر ب-28/3/2019, 16:28:46 |
Moed B common mistakes | |
Hello all, A common mistakes file for Moed B was uploaded to the webcourse. Please review it before sending an appeal. Good luck! Course staff. |
עדכון אחרון ב-17/3/2019, 12:30:22 Last updated on 17/3/2019, 12:30:22 Последняя модификация17/3/2019, 12:30:22 تمت الحتلنة الأخيرة ب-17/3/2019, 12:30:22 |
Moed B grades published | |
Dear students, The grades to the exam and the final grades are now available online. The scans will be available in the next few days. A factor of 4 points was added to the exam grade, before calculating the final grade. Appeals can be submitted via the webcourse by 25.3.19, through the assignments tab. When you submit an appeal, the entire question will be re-checked in light of your appeal. However, 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 |
פורסם ב-13/3/2019, 13:24:50 Created on 13/3/2019, 13:24:50 Создано13/3/2019, 13:24:50 تم النشر ب-13/3/2019, 13:24:50 |
Moed Miluim | |
Hello all, If you are eligible for Moed Miluim, please email Gal with your request and proper paperwork by 15.3.2019. Please go over this QA document before sending a request, in order to make sure you are eligible: http://www.cs.technion.ac.il/undergraduate/qa/qa-special/QA_Special.pdf Good luck! Course staff. |
פורסם ב-21/2/2019, 12:54:43 Created on 21/2/2019, 12:54:43 Создано21/2/2019, 12:54:43 تم النشر ب-21/2/2019, 12:54:43 |
Moed A Appeals | |
The appeals were returned under the assignments tab, and the grades were updated. |
פורסם ב-21/2/2019, 12:49:16 Created on 21/2/2019, 12:49:16 Создано21/2/2019, 12:49:16 تم النشر ب-21/2/2019, 12:49:16 |
Moed B | |
Hello all, Moed B will take place on Tuesday, 5.3.2019, 9:00-12:00 in Ulman 505. 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: Thursday, 28.2, 12:30-13:30, Bat-Chen, Taub 201. Sunday, 3.3, 12:30-13:30, Orna, Taub 620. Sunday, 3.3, 15:30-16:30, Gal, Taub 201. Monday, 4.3, 9:30-10: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 |
פורסם ב-17/2/2019, 15:20:50 Created on 17/2/2019, 15:20:50 Создано17/2/2019, 15:20:50 تم النشر ب-17/2/2019, 15:20:50 |
Moed A grades published | |
Dear students, The grades to the exam and the final grades are now available online. The scans will be available soon. Appeals can be submitted via the webcourse by 20.2.19, through the assignments tab. When you submit an appeal, the entire question will be re-checked in light of your appeal. However, 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 |
פורסם ב-11/2/2019, 16:26:39 Created on 11/2/2019, 16:26:39 Создано11/2/2019, 16:26:39 تم النشر ب-11/2/2019, 16:26:39 |
Homework #6 was checked and graded | |
Hello all, The grades for the sixth assignment are available in the GR system. The checked assignments were uploaded to the course site. Appeals should be sent to Gal by email, by Wednesday, 6.2.19, 19:00. When you submit an appeal, the entire question may be re-checked in light of your appeal. Good luck! Course staff |
פורסם ב-30/1/2019, 21:36:40 Created on 30/1/2019, 21:36:40 Создано30/1/2019, 21:36:40 تم النشر ب-30/1/2019, 21:36:40 |
Moed A reception hours changed | |
Hello all, The location of Gal's reception hour today changed to Ulman 502. The time remains the same. The details were updated in the original announcement. Good luck, Course staff. |
עדכון אחרון ב-30/1/2019, 10:25:36 Last updated on 30/1/2019, 10:25:36 Последняя модификация30/1/2019, 10:25:36 تمت الحتلنة الأخيرة ب-30/1/2019, 10:25:36 |
Moed A reception hours changed | |
Hello all, The time and location of Bat-Chen's reception hour before Moed A changed. The details were updated in the original announcement. Good luck, Course staff. |
פורסם ב-23/1/2019, 11:15:33 Created on 23/1/2019, 11:15:33 Создано23/1/2019, 11:15:33 تم النشر ب-23/1/2019, 11:15:33 |
Moed A | |
Hello all, Moed A will take place on Friday, 1.2.2019, 9:00-12:00 in Ulman 501, 502, 505. 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, 27.1, 10:30-11:30, Sarai, Taub 201. Monday, 28.1, 13:30-14:30, Bat-Chen, Taub 201. Tuesday, 29.1, 12:30-13:30, Orna, Taub 620. Wednesday, 30.1, 12:30-13:30, Gal, Ulman 502. 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 |
עדכון אחרון ב-30/1/2019, 10:25:16 Last updated on 30/1/2019, 10:25:16 Последняя модификация30/1/2019, 10:25:16 تمت الحتلنة الأخيرة ب-30/1/2019, 10:25:16 |
Homework #5 was checked and graded | |
Hello all, The grades for the fifth assignment are available in the GR system. The checked assignments were uploaded to the course site. Appeals should be sent to Gal by email, by Thursday, 24.1.19, 19:00. When you submit an appeal, the entire question may be re-checked in light of your appeal. Good luck! Course staff |
פורסם ב-19/1/2019, 18:14:34 Created on 19/1/2019, 18:14:34 Создано19/1/2019, 18:14:34 تم النشر ب-19/1/2019, 18:14:34 |
Homework #4 was checked and graded | |
Hello all, The grades for the fourth assignment are available in the GR system. The checked assignments were uploaded to the course site. In the future, please make sure to that your submissions are clear and readable. Unreadable submissions may not be read, and therefore may not be graded. Appeals should be sent to Gal by email, by Thursday, 17.1.19, 19:00. When you submit an appeal, the entire question may be re-checked in light of your appeal. Good luck! Course staff |
פורסם ב-12/1/2019, 18:59:24 Created on 12/1/2019, 18:59:24 Создано12/1/2019, 18:59:24 تم النشر ب-12/1/2019, 18:59:24 |
HW #6 Published | |
TA in charge: Sarai. Due date: 22.1.2019, 23:55. Please notice that some of the material required to solve this assignment has not yet been taught. Workshops for this assignment will be given in the following dates: * 16.1.19 (Wednesday), 14:30-15:30, Taub 301. * 20.1.19 (Sunday), 15:30-16:30, Taub 201. Good luck! Course staff. |
פורסם ב-8/1/2019, 18:35:29 Created on 8/1/2019, 18:35:29 Создано8/1/2019, 18:35:29 تم النشر ب-8/1/2019, 18:35:29 |
Homework #3 was checked and graded | |
Hello all, The grades for the third assignment are available in the GR system. The checked assignments were uploaded to the course site. Appeals should be sent to Gal by email, by Thursday, 10.1.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/1/2019, 13:21:42 Created on 4/1/2019, 13:21:42 Создано4/1/2019, 13:21:42 تم النشر ب-4/1/2019, 13:21:42 |
HW #4 Fix | |
Hello all, Please notice that a fixed version of HW4 was published. The only change is in question 1 - the notation of the transition relation was fixed. The changes are marked in yellow. Good luck! Course staff. |
פורסם ב-28/12/2018, 13:36:58 Created on 28/12/2018, 13:36:58 Создано28/12/2018, 13:36:58 تم النشر ب-28/12/2018, 13:36:58 |
HW #5 Workshops' details updated | |
Hello all, The locations and times of the workshops for HW 5 were updated. Good luck! Course staff. |
פורסם ב-26/12/2018, 15:08:42 Created on 26/12/2018, 15:08:42 Создано26/12/2018, 15:08:42 تم النشر ب-26/12/2018, 15:08:42 |
HW #5 Published | |
TA in charge: Gal. Due date: 15.1.2019, 23:55. Please notice that some of the material required to solve this assignment has not yet been taught. Workshops for this assignment will be given in the following dates: * 9.1.19 (Wednesday), 14:30-15:30, Taub 301. * 13.1.19 (Sunday), 15:30-16:30, Taub 201. Good luck! Course staff. |
עדכון אחרון ב-26/12/2018, 15:07:54 Last updated on 26/12/2018, 15:07:54 Последняя модификация26/12/2018, 15:07:54 تمت الحتلنة الأخيرة ب-26/12/2018, 15:07:54 |
HW #4 Published | |
TA in charge: Sarai. Due date: 3.1.2019, 23:55. Workshops for this assignment will be given in the following dates: * 23.12.18 (Sunday), 15:30-16:30, Taub 201. * 26.12.18 (Wednesday), 14:30-15:30, Taub 301. Good luck! Course staff. |
פורסם ב-13/12/2018, 11:34:15 Created on 13/12/2018, 11:34:15 Создано13/12/2018, 11:34:15 تم النشر ب-13/12/2018, 11:34:15 |
Homework #2 was checked and graded | |
Hello all, The grades for the second assignment are available in the GR system. The checked assignments were uploaded to the course site. Appeals should be sent to Gal by email, by Thursday, 13.12.18, 19:00. When you submit an appeal, the entire question may be re-checked in light of your appeal. Good luck! Course staff |
פורסם ב-9/12/2018, 15:16:28 Created on 9/12/2018, 15:16:28 Создано9/12/2018, 15:16:28 تم النشر ب-9/12/2018, 15:16:28 |
Survey | |
Hello all, A short survey on the course is available here: https://goo.gl/forms/1SUnk6sPZpc5gSOb2 . Please take a few minutes to fill it out (it is not mandatory). The survey is anonymous. Good luck! Course staff. |
פורסם ב-9/12/2018, 12:52:55 Created on 9/12/2018, 12:52:55 Создано9/12/2018, 12:52:55 تم النشر ب-9/12/2018, 12:52:55 |
Lecture and tutorial on Sunday | |
Hello all, Please notice that the lecture and the tutorial on the following Sunday will take place as usual. Course staff. |
פורסם ב-29/11/2018, 14:45:34 Created on 29/11/2018, 14:45:34 Создано29/11/2018, 14:45:34 تم النشر ب-29/11/2018, 14:45:34 |
Survey regarding a change in Gal's tutorial room | |
Hello all, Due to students' requests, a change in Gal's tutorial room (for the Tuesday group) is under consideration. Please answer the following survey in order to indicate if you want to change the tutorial's location: https://doodle.com/poll/fa2hmpfxgfywhun2 Course staff |
עדכון אחרון ב-26/11/2018, 20:44:20 Last updated on 26/11/2018, 20:44:20 Последняя модификация26/11/2018, 20:44:20 تمت الحتلنة الأخيرة ب-26/11/2018, 20:44:20 |
Homework #1 was checked and graded | |
Hello all, The grades for the first assignment are available in the GR system. The checked assignments were uploaded to the course site. 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, 29.11.18, 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/2018, 02:25:34 Last updated on 24/11/2018, 02:25:34 Последняя модификация24/11/2018, 02:25:34 تمت الحتلنة الأخيرة ب-24/11/2018, 02:25:34 |
HW #3 Published | |
TA in charge: Gal. Due date: 11.12.2018, 23:55. Workshops for this assignment will be given in the following dates: * 28.11.18 (Wednesday), 14:30-15:30, Taub 301. * 9.12.18 (Sunday), 15:30-16:30, Taub 201. Good luck! Course staff. |
פורסם ב-20/11/2018, 18:01:53 Created on 20/11/2018, 18:01:53 Создано20/11/2018, 18:01:53 تم النشر ب-20/11/2018, 18:01:53 |
HW #2 Workshops' details updated | |
Hello all, The locations and times of the workshops for HW 2 were updated. Notice that the workshop tomorrow (Wednesday) is canceled. Good luck! Course staff. |
עדכון אחרון ב-13/11/2018, 19:59:32 Last updated on 13/11/2018, 19:59:32 Последняя модификация13/11/2018, 19:59:32 تمت الحتلنة الأخيرة ب-13/11/2018, 19:59:32 |
HW #2 Workshops' details updated | |
Hello all, The locations and times of the workshops for HW 2 were updated. Good luck! Course staff. |
עדכון אחרון ב-8/11/2018, 10:51:31 Last updated on 8/11/2018, 10:51:31 Последняя модификация8/11/2018, 10:51:31 تمت الحتلنة الأخيرة ب-8/11/2018, 10:51:31 |
HW #2 Published | |
TA in charge: Sarai. Due date: 22.11.2018, 23:55. Workshops for this assignment will be given in the following dates: * 18.11.18 (Sunday), 14:30-16:30, Taub 201. Good luck! Course staff. |
עדכון אחרון ב-13/11/2018, 14:31:28 Last updated on 13/11/2018, 14:31:28 Последняя модификация13/11/2018, 14:31:28 تمت الحتلنة الأخيرة ب-13/11/2018, 14:31:28 |
Location changed - workshop on Wednesday | |
Hello all, Please notice that the workshop on Wednesday will take place in Taub 401, 14:30-15.30. Good luck! Course staff. |
פורסם ב-5/11/2018, 11:26:33 Created on 5/11/2018, 11:26:33 Создано5/11/2018, 11:26:33 تم النشر ب-5/11/2018, 11:26:33 |
HW #1 Published | |
TA in charge: Gal. Due date: 8.11.2018, 23:55. Workshops for this assignment will be given in the following dates: * 4.11.18 (Sunday), 15:30-16:30, Taub 301. * 7.11.18 (Wednesday), 14:30-15:30, Taub 401. Good luck! Course staff. |
עדכון אחרון ב-5/11/2018, 11:26:54 Last updated on 5/11/2018, 11:26:54 Последняя модификация5/11/2018, 11:26:54 تمت الحتلنة الأخيرة ب-5/11/2018, 11:26:54 |
Next week lecture changes | |
A complementary lecture will be held on 28/10/18, 16:30-18:30 at Ulman 310. This will be lecture 2, and the lecture on the last week of the semester will be canceled. Please notice that on Tuesday, 30/10/18, the lecture and the tutorial are canceled due to the election day. The complementary lecture and tutorial will be given on 2/12/18. The changes appear on the course schedule. Good luck! Course staff. |
פורסם ב-23/10/2018, 20:10:01 Created on 23/10/2018, 20:10:01 Создано23/10/2018, 20:10:01 تم النشر ب-23/10/2018, 20:10:01 |
New sildes published | |
The slides for the first lecture and tutorial are now available. Please notice that the lectures take place in Ulman 307. |
פורסם ב-22/10/2018, 15:20:54 Created on 22/10/2018, 15:20:54 Создано22/10/2018, 15:20:54 تم النشر ب-22/10/2018, 15:20:54 |
Complementary lecture and a tutorial change | |
Hello all, A complementary lecture will be held on 28/10/18, 16:30-18:30 at Ulman 310. This will be lecture 2, and the lecture on the last week of the semester will be canceled. All other lectures will be held as usual on Tuesdays. This change appears in the course schedule. Moreover, during the first 3 weeks of the semester, Gal and Sarai will replace each other in their tutorials, i.e. Gal will teach on Thursdays, and Sarai will teach on Tuesdays. |
עדכון אחרון ב-16/10/2018, 19:35:58 Last updated on 16/10/2018, 19:35:58 Последняя модификация16/10/2018, 19:35:58 تمت الحتلنة الأخيرة ب-16/10/2018, 19:35:58 |
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 web and through this mailing list. It's 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 course schedule under the syllabus tab, which specifies lecture and tutorial, along with the publication and submission dates of each homework assignment. 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. Recitations will be held starting the first day of the semester. We wish you a fruitful and enjoyable semester! Course staff. |
פורסם ב-11/10/2018, 10:14:47 Created on 11/10/2018, 10:14:47 Создано11/10/2018, 10:14:47 تم النشر ب-11/10/2018, 10:14:47 |