HW5 Checked and Final Grades | |
The feedback of HW5 is published via the course site. The final grade was calculated according to the following formula: HW_AVERAGE + 10 Good luck! Course staff |
פורסם ב-23/3/2021, 07:40:36 Created on 23/3/2021, 07:40:36 Создано23/3/2021, 07:40:36 تم النشر ب-23/3/2021, 07:40:36 |
HW 3+4 checked | |
The grades and feedback were uploaded to the website. Regards, Course staff |
פורסם ב-9/2/2021, 13:20:19 Created on 9/2/2021, 13:20:19 Создано9/2/2021, 13:20:19 تم النشر ب-9/2/2021, 13:20:19 |
HW 5 Published | |
Due date: 18.3.21, 23:59. Good luck! Course staff |
פורסם ב-26/1/2021, 17:14:50 Created on 26/1/2021, 17:14:50 Создано26/1/2021, 17:14:50 تم النشر ب-26/1/2021, 17:14:50 |
HW 2 checked | |
The grades and feedback were uploaded to the website. Regards, Course staff |
פורסם ב-10/1/2021, 16:45:18 Created on 10/1/2021, 16:45:18 Создано10/1/2021, 16:45:18 تم النشر ب-10/1/2021, 16:45:18 |
HW 4 Published | |
Due date: 26.1.21, 23:59. Good luck! Course staff |
פורסם ב-10/1/2021, 13:44:47 Created on 10/1/2021, 13:44:47 Создано10/1/2021, 13:44:47 تم النشر ب-10/1/2021, 13:44:47 |
Schedule Changes | |
Dear students, The lecture this week will take place on Thursday, 31.12.2020, at 10:00-12:00, using the following link: https://technion.zoom.us/j/95904549627 The tutorial this week will take place on Thursday, 31.12.2020, at 15:30-16:30, using the regular tutorial link. Additionally, I will no longer hold weekly reception hours. If you wish to consult with me, send me an email, and we will set a time. Regards, Ohad |
פורסם ב-28/12/2020, 14:00:04 Created on 28/12/2020, 14:00:04 Создано28/12/2020, 14:00:04 تم النشر ب-28/12/2020, 14:00:04 |
HW 3 Published | |
Due date: 10.1.21, 23:59. Good luck! Course staff |
פורסם ב-20/12/2020, 20:37:00 Created on 20/12/2020, 20:37:00 Создано20/12/2020, 20:37:00 تم النشر ب-20/12/2020, 20:37:00 |
No fixed-time reception hour starting tomorrow, 3.12.2020 | |
There will be no fix time for my reception hours. If you wish to talk with me, please send me mail and we will set a time. Orna. |
פורסם ב-2/12/2020, 17:15:29 Created on 2/12/2020, 17:15:29 Создано2/12/2020, 17:15:29 تم النشر ب-2/12/2020, 17:15:29 |
HW 1 checked | |
The grades and feedback were uploaded to the website. Regards, Course staff |
עדכון אחרון ב-1/12/2020, 18:28:47 Last updated on 1/12/2020, 18:28:47 Последняя модификация1/12/2020, 18:28:47 تمت الحتلنة الأخيرة ب-1/12/2020, 18:28:47 |
HW 2 Published | |
Due date: 20.12.20, 23:59. Good luck! Course staff |
פורסם ב-23/11/2020, 10:25:02 Created on 23/11/2020, 10:25:02 Создано23/11/2020, 10:25:02 تم النشر ب-23/11/2020, 10:25:02 |
HW1 Published | |
Due date: 22.11.20, 23:59. Reminder: The submission is in pairs. Good luck! Course staff |
עדכון אחרון ב-2/11/2020, 10:13:29 Last updated on 2/11/2020, 10:13:29 Последняя модификация2/11/2020, 10:13:29 تمت الحتلنة الأخيرة ب-2/11/2020, 10:13:29 |
Material for Tomorrow's Lecture is Published | |
The slides can be found under 'Course Material -> Lectures'. |
פורסם ב-26/10/2020, 15:56:07 Created on 26/10/2020, 15:56:07 Создано26/10/2020, 15:56:07 تم النشر ب-26/10/2020, 15:56:07 |
Welcome to Automatic Verification (236345) | |
Dear students, Welcome to the Automatic Verification of Hardware and Software Systems course. The first lecture and tutorial will take place on Tuesday, 27.10.2020 via Zoom. Links to the lectures and tutorials will be published later, as well as our office hours. 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. All the information you need appears at the course website at http://webcourse.cs.technion.ac.il/236345 We wish you a fruitful and enjoyable semester! Course staff |
פורסם ב-12/10/2020, 10:17:18 Created on 12/10/2020, 10:17:18 Создано12/10/2020, 10:17:18 تم النشر ب-12/10/2020, 10:17:18 |