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|
|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.
|פורסם ב- 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|
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!
|פורסם ב- 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|