Moed A | |
Moed A will be held on Sunday, 05.05, at 13:00. The exam cover page can be found under "Course Material" -> "Previous Exams". Reception hours: - Tuesday, 30.04, 14:30-15:30, Taub 3 - Roy - Thursday, 02.05, 10:30-11:30, Taub 3 - Omer Questions regarding past exams should be emailed at least a day in advance. Please be aware that our availability during the holiday will be limited. Good luck and a peaceful and enjoyable holiday. Course staff |
עדכון אחרון ב-22/4/2024, 14:12:33 Last updated on 22/4/2024, 14:12:33 Последняя модификация22/4/2024, 14:12:33 تمت الحتلنة الأخيرة ب-22/4/2024, 14:12:33 |
HW2 + HW3 grades | |
The grades and feedback for the second and third assignments are available in the GR system. To view the comments, you should open the returned files in Adobe Acrobat Reader. Also, common mistakes files can be found under the "Assignments" tab. All appeals must be sent by email to the TA in charge of the assignment no later than Wednesday, 17.04, 23:59. When you submit an appeal, the entire question may be re-checked in light of your appeal. Course staff |
פורסם ב-7/4/2024, 10:03:24 Created on 7/4/2024, 10:03:24 Создано7/4/2024, 10:03:24 تم النشر ب-7/4/2024, 10:03:24 |
HW5 | |
HW5 has been published. TA in charge: Roy Due date: 08.04, 23:59. There will be a workshop for this assignment on Wednesday, 03.04, from 13:30-14:30 in Taub 6. Reminder: Submissions are in pairs. Good luck! Course staff |
עדכון אחרון ב-28/3/2024, 10:56:05 Last updated on 28/3/2024, 10:56:05 Последняя модификация28/3/2024, 10:56:05 تمت الحتلنة الأخيرة ب-28/3/2024, 10:56:05 |
Lectures 10+11 | |
Hello all, Our next lecture will also be a two hour lecture. We will cover weeks 10+11 so please watch the needed material. In addition, in order to gain a better understanding of the material, we will go over some key points from last week’s lecture, which I felt haven't sinked in yet. See you Tuesday. Yakir |
עדכון אחרון ב-15/3/2024, 16:23:27 Last updated on 15/3/2024, 16:23:27 Последняя модификация15/3/2024, 16:23:27 تمت الحتلنة الأخيرة ب-15/3/2024, 16:23:27 |
Tutorial 8 and HW4 workshop | |
Hi all, Next Wednesday (20.03) we will have a two-hour workshop (Taub 5): 12:30-13:30 - I will go over the parts of tutorial 8 that were not fully covered in class 13:30-14:30 - HW4 workshop The first hour of the workshop is not mandatory. You can also watch the recordings from previous semesters and contact me by email if you have any questions. Omer |
עדכון אחרון ב-20/3/2024, 10:24:28 Last updated on 20/3/2024, 10:24:28 Последняя модификация20/3/2024, 10:24:28 تمت الحتلنة الأخيرة ب-20/3/2024, 10:24:28 |
Lecture - March 12th | |
Dear students, Tomorrow's lecture covers the material for weeks 8+9 (10:30-12:30). We will go over the key ideas, and my goal is to try and allocate as much time as possible to the "hands on" session :) Please bring your computers. We will play with BDDs and we will implement our own symbolic model checker - fun! Make sure to install the following packages before coming to class: ‘graphviz’ and dd’ (e.g. pip3 install dd). On the latest MacOS, this worked for me with Python 3.11 To check that things work, try the following import commands: from dd.autoref import BDD from graphviz import render See you tomorrow! Yakir |
פורסם ב-11/3/2024, 21:16:06 Created on 11/3/2024, 21:16:06 Создано11/3/2024, 21:16:06 تم النشر ب-11/3/2024, 21:16:06 |
HW4 | |
HW4 has been published. TA in charge: Omer Due date: 25.03, 23:59. There will be a workshop for this assignment on Wednesday, 20.03, from 13:30-14:30 in Taub 5. Reminder: Submissions are in pairs. Good luck! Course staff |
עדכון אחרון ב-13/3/2024, 10:05:54 Last updated on 13/3/2024, 10:05:54 Последняя модификация13/3/2024, 10:05:54 تمت الحتلنة الأخيرة ب-13/3/2024, 10:05:54 |
Lecture - March 5th | |
Dear students, There will be no in class lecture tomorrow (March 5th). Instead, we will have a two hour lecture next week covering the material needed for Week 8+9 (BDDs and Symbolic MC). Note that the tutorial still takes place as usual. Yakir |
עדכון אחרון ב-4/3/2024, 21:37:58 Last updated on 4/3/2024, 21:37:58 Последняя модификация4/3/2024, 21:37:58 تمت الحتلنة الأخيرة ب-4/3/2024, 21:37:58 |
Cancellation of Wednesday's tutorial | |
Dear students, Wednesday's tutorial is cancelled for the rest of the semester due to a lack of attendance. Therefore, Tuesday's tutorial will be the only one from now on. Course staff |
עדכון אחרון ב-29/2/2024, 13:54:17 Last updated on 29/2/2024, 13:54:17 Последняя модификация29/2/2024, 13:54:17 تمت الحتلنة الأخيرة ب-29/2/2024, 13:54:17 |
Classes this week | |
Due to the municipal elections, we will not have any classes this week (lectures or tutorials), except for today's workshop. Course staff |
עדכון אחרון ב-29/2/2024, 13:54:40 Last updated on 29/2/2024, 13:54:40 Последняя модификация29/2/2024, 13:54:40 تمت الحتلنة الأخيرة ب-29/2/2024, 13:54:40 |
HW1 grades | |
The grades and feedback for the first assignment are available in the GR system. To view the comments, you should open the returned file in Adobe Acrobat Reader. Also, a common mistakes file can be found under the "Assignments" tab. 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. All appeals must be sent by email to the TA in charge of this assignment no later than Sunday, 03.03, 23:59. When you submit an appeal, the entire question may be re-checked in light of your appeal. Course staff |
פורסם ב-25/2/2024, 13:52:09 Created on 25/2/2024, 13:52:09 Создано25/2/2024, 13:52:09 تم النشر ب-25/2/2024, 13:52:09 |
HW3 | |
HW3 has been published. TA in charge: Roy Due date: 03.03, 23:59. There will be a workshop for this assignment on Sunday, 25.02, from 16:30-17:30 in Taub 5. Reminder: Submissions are in pairs. Good luck! Course staff |
פורסם ב-15/2/2024, 11:04:08 Created on 15/2/2024, 11:04:08 Создано15/2/2024, 11:04:08 تم النشر ب-15/2/2024, 11:04:08 |
Roy's tutorial | |
Dear students, Based on the poll results, Roy's next tutorial will take place on Monday, 19.02, from 15:30-16:20, in Taub 2. We will let you know if that change is permanent. Course staff |
עדכון אחרון ב-15/2/2024, 11:07:21 Last updated on 15/2/2024, 11:07:21 Последняя модификация15/2/2024, 11:07:21 تمت الحتلنة الأخيرة ب-15/2/2024, 11:07:21 |
Roy's tutorial time | |
Dear students, We want to check if there is any demand to change Roy's tutorial time. Please fill out the next form: https://docs.google.com/forms/d/e/1FAIpQLScdI2RK5TK56mbTIx4rn36TI-NWKsKP4gTLELAasdtoNoddYQ/viewform?usp=sf_link Course staff |
פורסם ב-8/2/2024, 10:36:53 Created on 8/2/2024, 10:36:53 Создано8/2/2024, 10:36:53 تم النشر ب-8/2/2024, 10:36:53 |
Soundness and Completeness | |
Dear students, You can now find a video regarding the soundness and completeness of Floyd-like proof rules under "Course Material -> Tutorials -> Tutorial 2". Course staff |
עדכון אחרון ב-1/2/2024, 15:22:17 Last updated on 1/2/2024, 15:22:17 Последняя модификация1/2/2024, 15:22:17 تمت الحتلنة الأخيرة ب-1/2/2024, 15:22:17 |
HW2 | |
HW2 has been published. TA in charge: Omer Due date: 15.02, 23:59. There will be a workshop for this assignment on Sunday, 11.02, from 16:30-17:30 in Taub 7. Reminder: Submissions are in pairs. Good luck! Course staff |
פורסם ב-1/2/2024, 15:16:34 Created on 1/2/2024, 15:16:34 Создано1/2/2024, 15:16:34 تم النشر ب-1/2/2024, 15:16:34 |
Lecture This Week (January 30th) | |
Hello all, For tomorrow's in class lecture, please bring your laptop (or any other device that can run VS code) with you. We will have hands-on (fun) task in class :) Yakir |
פורסם ב-29/1/2024, 18:18:41 Created on 29/1/2024, 18:18:41 Создано29/1/2024, 18:18:41 تم النشر ب-29/1/2024, 18:18:41 |
Roy's tutorial | |
Hello dear students, Unfortunately, I'm sick and won't be able to arrive at the tutorial and the reception hour tomorrow. The tutorial will be postponed to Sunday, 28.1, at 17:30, right after the workshop, in Taub 5. If anyone needs a reception hour from me, instead of the one I'm canceling tomorrow, please let me know. Roy |
פורסם ב-23/1/2024, 21:07:46 Created on 23/1/2024, 21:07:46 Создано23/1/2024, 21:07:46 تم النشر ب-23/1/2024, 21:07:46 |
HW1 update | |
Question 3b will be optional, so you do not have to submit it. Course staff |
עדכון אחרון ב-23/1/2024, 12:52:48 Last updated on 23/1/2024, 12:52:48 Последняя модификация23/1/2024, 12:52:48 تمت الحتلنة الأخيرة ب-23/1/2024, 12:52:48 |
Tomorrow’s Lecture (January 23) | |
Dear students, There will be no in class lecture tomorrow. Instead, we will have a two hour lecture next week. Sorry for the late notice. Yakir |
פורסם ב-22/1/2024, 22:58:52 Created on 22/1/2024, 22:58:52 Создано22/1/2024, 22:58:52 تم النشر ب-22/1/2024, 22:58:52 |
HW1 | |
HW1 has been published. TA in charge: Roy Due date: 01.02, 23:59. There will be a workshop for this assignment on Sunday, 28.01, from 16:30-17:30 in Taub 5. Reminder: Submissions are in pairs. Good luck! Course staff |
פורסם ב-18/1/2024, 10:20:21 Created on 18/1/2024, 10:20:21 Создано18/1/2024, 10:20:21 تم النشر ب-18/1/2024, 10:20:21 |
Welcome to Introduction 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, you can find the expected publication and submission dates for each homework assignment in the homework tab. Please note that changes are possible. Our office hours can be found 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. The first lecture will be held in class. Most of the semester, however, will adopt the "flipped classroom" approach. Logistics of the course will be explained during the first lecture. Tutorials will be frontal and you will have access to videos of the course from previous semesters. We wish you a fruitful and enjoyable semester! Course staff |
פורסם ב-11/1/2024, 12:56:17 Created on 11/1/2024, 12:56:17 Создано11/1/2024, 12:56:17 تم النشر ب-11/1/2024, 12:56:17 |