Final grades | |
The final grade is the average of your 4 best homework grades. |
פורסם ב-13/8/2019, 12:34:04 Created on 13/8/2019, 12:34:04 Создано13/8/2019, 12:34:04 تم النشر ب-13/8/2019, 12:34:04 |
Homework appeals | |
If you wish to appeal your homework grades, please contact Michael no later than Thursday 15/08, 14:00. |
פורסם ב-11/8/2019, 13:33:42 Created on 11/8/2019, 13:33:42 Создано11/8/2019, 13:33:42 تم النشر ب-11/8/2019, 13:33:42 |
Homework assignment #5 is now available |
פורסם ב-27/6/2019, 11:29:49 Created on 27/6/2019, 11:29:49 Создано27/6/2019, 11:29:49 تم النشر ب-27/6/2019, 11:29:49 |
Homework schedule | |
To help you plan your time, this is the expected schedule: We will publish HW5 before the end of the semester (This does not affect the due date of HW4). HW5 will be due to the beginning of August, with extensions if needed. |
פורסם ב-16/6/2019, 16:20:24 Created on 16/6/2019, 16:20:24 Создано16/6/2019, 16:20:24 تم النشر ب-16/6/2019, 16:20:24 |
Homework assignment #4 is now available |
פורסם ב-7/6/2019, 10:07:28 Created on 7/6/2019, 10:07:28 Создано7/6/2019, 10:07:28 تم النشر ب-7/6/2019, 10:07:28 |
Guest Lecture | |
You are invited to a guest lecture that will take place on Monday 14:30, Taub 8. Speaker: Gilad Holzstein - Intel Title: Spectre and Meltdown Abstract: We will present publicly available information on side channel attack methods known as Meltdown and Spectre and how to cope with the challenges these kind of attacks pose. Moreover, we will discuss the validation challenges involved with finding such attacks or proving their absence. |
פורסם ב-29/5/2019, 10:37:34 Created on 29/5/2019, 10:37:34 Создано29/5/2019, 10:37:34 تم النشر ب-29/5/2019, 10:37:34 |
No class next week | |
The lecture and tutorial of 02/06 are cancelled. During next week Michael will not be available in email or office hour. |
פורסם ב-27/5/2019, 08:18:57 Created on 27/5/2019, 08:18:57 Создано27/5/2019, 08:18:57 تم النشر ب-27/5/2019, 08:18:57 |
HW3 due date postponed | |
The due date of HW3 is postponed to 06.06.19. Also, the slides of the IC3 lecture were added. |
עדכון אחרון ב-21/5/2019, 10:45:27 Last updated on 21/5/2019, 10:45:27 Последняя модификация21/5/2019, 10:45:27 تمت الحتلنة الأخيرة ب-21/5/2019, 10:45:27 |
lecture on 19/5 as usual | |
The lecture on 19/5 will be held as usual and will be given by Yakir. |
פורסם ב-14/5/2019, 13:13:05 Created on 14/5/2019, 13:13:05 Создано14/5/2019, 13:13:05 تم النشر ب-14/5/2019, 13:13:05 |
Homework assignment #3 is now available |
פורסם ב-14/5/2019, 09:13:46 Created on 14/5/2019, 09:13:46 Создано14/5/2019, 09:13:46 تم النشر ب-14/5/2019, 09:13:46 |
HW1 resubmission | |
If you wish to resubmit or appeal HW1, please contact Michael. |
פורסם ב-5/5/2019, 16:19:36 Created on 5/5/2019, 16:19:36 Создано5/5/2019, 16:19:36 تم النشر ب-5/5/2019, 16:19:36 |
Homework #1 returned | |
The assignments with comments and grades are available on gr. For this assignment only, we will allow students who got grade below 75 to repair their submission. Administrative details will follow. Meanwhile, please read carefully the provided feedback and make the proper adjustments for you future submissions. |
פורסם ב-2/5/2019, 14:43:16 Created on 2/5/2019, 14:43:16 Создано2/5/2019, 14:43:16 تم النشر ب-2/5/2019, 14:43:16 |
Lecture and tutorial swap next week | |
Note that next week we will hold the tutorial at 12:30, and the lecture following. |
פורסם ב-1/5/2019, 15:38:10 Created on 1/5/2019, 15:38:10 Создано1/5/2019, 15:38:10 تم النشر ب-1/5/2019, 15:38:10 |
Homework assignment #2 is now available |
פורסם ב-16/4/2019, 09:19:06 Created on 16/4/2019, 09:19:06 Создано16/4/2019, 09:19:06 تم النشر ب-16/4/2019, 09:19:06 |
Examples for CTL model checking game | |
Following the discussion at class yesterday, additional examples for the CTL model checking game has been uploaded. |
פורסם ב-15/4/2019, 08:54:05 Created on 15/4/2019, 08:54:05 Создано15/4/2019, 08:54:05 تم النشر ب-15/4/2019, 08:54:05 |
Complementary lecture tomorrow | |
The lecture will be held at Taub 401. |
פורסם ב-26/3/2019, 09:46:43 Created on 26/3/2019, 09:46:43 Создано26/3/2019, 09:46:43 تم النشر ب-26/3/2019, 09:46:43 |
Homework assignment #1 is now available |
פורסם ב-24/3/2019, 15:55:09 Created on 24/3/2019, 15:55:09 Создано24/3/2019, 15:55:09 تم النشر ب-24/3/2019, 15:55:09 |
Materials for today's lecture and tutorial are online | |
Proofs for lecture 2 will be given on the board. |
פורסם ב-24/3/2019, 09:56:46 Created on 24/3/2019, 09:56:46 Создано24/3/2019, 09:56:46 تم النشر ب-24/3/2019, 09:56:46 |
Materials for today's lecture and tutorial are online |
פורסם ב-17/3/2019, 10:01:36 Created on 17/3/2019, 10:01:36 Создано17/3/2019, 10:01:36 تم النشر ب-17/3/2019, 10:01:36 |
Welcome to Automatic Verification | |
Dear students, Welcome to the Automatic Verification of Hardware and Software Systems course. Please note that a complementary lecture will be held on Wednesday 27/3, 12:30 - 14:30, instead of a lecture that will be canceled in the future. We wish you a fruitful semester, Course staff. |
פורסם ב-10/3/2019, 16:30:11 Created on 10/3/2019, 16:30:11 Создано10/3/2019, 16:30:11 تم النشر ب-10/3/2019, 16:30:11 |