|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|