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.
|פורסם ב- 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|
|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.
|פורסם ב- 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|
|The workshop regarding HW3 will take place on 10.12.19 at 17:30 in Taub 201.|
|פורסם ב- 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|
|TA in charge: Ohad|
Due date: 16.12.19, 23:59.
|פורסם ב- 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|
|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.
|פורסם ב- 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|
|The workshop regarding HW2 will take place on 20.11.19 at 16:30 in Taub 201.|
|פורסם ב- 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|
|TA in charge: Sarai|
Due date: 28.11.19, 23:59.
|פורסם ב- 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.
|פורסם ב- 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|
|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|
|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.
|פורסם ב- 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|
|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!
|פורסם ב- 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|