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 |