Lecture 11 Recording Available | |
|
Dear students, The recording of Lecture 11 is now available under Course Material → Lectures → Lecture 11. Best regards, Course Staff |
| פורסם ב-25/6/2025, 15:39:45 Created on 25/6/2025, 15:39:45 Создано25/6/2025, 15:39:45 تم النشر ب-25/6/2025, 15:39:45 |
HW5 | |
|
HW5 has been published. Due date: 09/08, 23:59. Instructions: - Submissions must be made in pairs. - Submissions must be typed. Any format is acceptable (LaTeX, Word, etc.). Good luck! Course Staff |
| פורסם ב-25/6/2025, 10:03:26 Created on 25/6/2025, 10:03:26 Создано25/6/2025, 10:03:26 تم النشر ب-25/6/2025, 10:03:26 |
Link to Today's Lecture | |
|
Dear students, Here is the link to today's lecture: https://technion.zoom.us/j/99188152933 Looking forward to seeing you soon. Best, Orna and Omer |
| פורסם ב-24/6/2025, 10:56:11 Created on 24/6/2025, 10:56:11 Создано24/6/2025, 10:56:11 تم النشر ب-24/6/2025, 10:56:11 |
Updates to HW Deadlines | |
|
Dear students, Due to the academic adjustments published by the Dean of the Undergraduate School, the following changes will take place: - The HW4 deadline is extended to the final day of the semester - 13/07. - HW5 will be published on 25/06 and will be due at the end of the Moed A exam period - 09/08. Best regards, Course Staff |
| עדכון אחרון ב-24/6/2025, 15:14:29 Last updated on 24/6/2025, 15:14:29 Последняя модификация24/6/2025, 15:14:29 تمت الحتلنة الأخيرة ب-24/6/2025, 15:14:29 |
HW3 Grades | |
|
Dear students, Grades and feedback for the third assignment are now available in the GR system. If you would like to appeal your grade, please contact Omer via email by 23:59 on 29/06. We would also like to remind you that you are more than welcome to reach out if you have any questions or concerns. Moreover, if you think you will not be able to submit HW4 on time due to the situation, please let us know. Keep safe, Orna and Omer |
| פורסם ב-19/6/2025, 09:49:25 Created on 19/6/2025, 09:49:25 Создано19/6/2025, 09:49:25 تم النشر ب-19/6/2025, 09:49:25 |
Tomorrow’s Class Canceled | |
|
Dear students, We hope you are all safe and well. Tomorrow’s class (both the lecture and tutorial) is canceled. We have two more lessons to cover, and the current plan is to hold them next week and the week after. We will post another message next week to confirm. Best, Orna and Omer |
| פורסם ב-16/6/2025, 13:25:09 Created on 16/6/2025, 13:25:09 Создано16/6/2025, 13:25:09 تم النشر ب-16/6/2025, 13:25:09 |
HW4 | |
|
HW4 has been published. Due date: 13/07, 23:59. Instructions: - Submissions must be made in pairs. - Submissions must be typed. Any format is acceptable (LaTeX, Word, etc.). Good luck! Course Staff |
| עדכון אחרון ב-25/6/2025, 10:04:02 Last updated on 25/6/2025, 10:04:02 Последняя модификация25/6/2025, 10:04:02 تمت الحتلنة الأخيرة ب-25/6/2025, 10:04:02 |
HW2 Grades | |
|
Hi all, Grades and feedback for the second assignment are now available in the GR system. If you would like to appeal your grade, please contact Omer via email by 23:59 on 12/06. Best, Course Staff |
| פורסם ב-5/6/2025, 10:47:48 Created on 5/6/2025, 10:47:48 Создано5/6/2025, 10:47:48 تم النشر ب-5/6/2025, 10:47:48 |
HW3 | |
|
HW3 has been published. Due date: 05/06, 23:59. Instructions: - Submissions must be made in pairs. - Submissions must be typed. Any format is acceptable (LaTeX, Word, etc.). - Late submissions are accepted up to 3 days after the deadline (weekends count as one day, and holidays do not count). A 10-point deduction will be applied for each extra day. Good luck! Course Staff |
| עדכון אחרון ב-15/5/2025, 14:43:29 Last updated on 15/5/2025, 14:43:29 Последняя модификация15/5/2025, 14:43:29 تمت الحتلنة الأخيرة ب-15/5/2025, 14:43:29 |
HW1 Grades | |
|
Hi all, Grades and feedback for the first assignment are now available in the GR system. If you would like to appeal your grade, please contact Omer via email by 23:59 on 21/05. Best, Course Staff |
| פורסם ב-11/5/2025, 08:49:52 Created on 11/5/2025, 08:49:52 Создано11/5/2025, 08:49:52 تم النشر ب-11/5/2025, 08:49:52 |
HW2 | |
|
HW2 has been published. Due date: 15/05, 23:59. Instructions: - Submissions must be made in pairs. - Submissions must be typed. Any format is acceptable (LaTeX, Word, etc.). - Late submissions are accepted up to 3 days after the deadline (weekends count as one day, and holidays do not count). A 10-point deduction will be applied for each extra day. Good luck! Course Staff |
| עדכון אחרון ב-27/4/2025, 09:57:00 Last updated on 27/4/2025, 09:57:00 Последняя модификация27/4/2025, 09:57:00 تمت الحتلنة الأخيرة ب-27/4/2025, 09:57:00 |
HW1 | |
|
HW1 has been published. Due date: 27/04, 23:59. Instructions: - Submissions must be made in pairs. - Submissions must be typed. Any format is acceptable (LaTeX, Word, etc.). - Late submissions are accepted up to 3 days after the deadline (weekends count as one day, and holidays do not count). A 10-point deduction will be applied for each extra day. Good luck! Course Staff |
| עדכון אחרון ב-8/4/2025, 10:03:33 Last updated on 8/4/2025, 10:03:33 Последняя модификация8/4/2025, 10:03:33 تمت الحتلنة الأخيرة ب-8/4/2025, 10:03:33 |
Complementary Lecture Update | |
|
The complementary lecture originally scheduled for 06/04 has been rescheduled to Wednesday, 09/04, from 12:30 to 14:30 in Taub 3. Course Staff |
| עדכון אחרון ב-2/4/2025, 13:20:03 Last updated on 2/4/2025, 13:20:03 Последняя модификация2/4/2025, 13:20:03 تمت الحتلنة الأخيرة ب-2/4/2025, 13:20:03 |
Welcome to Automatic Verification of Software and Hardware! (236345) | |
|
Dear Students, Welcome to the Automatic Verification of Software and Hardware course! All essential course information is available on our website: http://webcourse.cs.technion.ac.il/236345. Please check the site regularly for updates and announcements throughout the semester. The final grade will be based on 5-7 extensive home assignments, which must be submitted in pairs. To schedule an office hour, please email us in advance to arrange a meeting. We are happy to assist you with course material and answer any questions throughout the semester. The first lecture and tutorial will be held on Tuesday, 01/04, from 12:30 to 15:30 in Taub 4. Wishing you a productive and enjoyable semester! Course Staff |
| עדכון אחרון ב-24/3/2025, 09:59:14 Last updated on 24/3/2025, 09:59:14 Последняя модификация24/3/2025, 09:59:14 تمت الحتلنة الأخيرة ب-24/3/2025, 09:59:14 |