HW1 has been published.|
Due date: 17.04, 23:55.
- Submissions are in pairs.
- Submissions must be typed. All formats are acceptable (latex, word, etc.).
|עדכון אחרון ב-28/3/2023, 20:44:34 Last updated on 28/3/2023, 20:44:34 Последняя модификация28/3/2023, 20:44:34 تمت الحتلنة الأخيرة ب-28/3/2023, 20:44:34|
Welcome to Automatic Verification of Software and Hardware! (236345)
Welcome to the Automatic Verification of Software and Hardware course!
All the information you need appears on the course website at http://webcourse.cs.technion.ac.il/236345
During the semester, be sure to follow the announcements there.
The final grade will be determined by 5-7 extended home assignments.
Submissions are in pairs.
Our office hours can be found under the "Staff" tab.
If you wish to attend an office hour, please let us know in advance.
Try to fit your schedule around the office hours, or contact us by email to set a meeting on a different time.
We will be happy to answer your questions during the semester and assist you with course material.
The first lecture and tutorial will take place on Tuesday, 21.03.2023, from 12:30 to 15:30 in Tabu 4.
We wish you a fruitful and enjoyable semester!
|עדכון אחרון ב-15/3/2023, 14:40:51 Last updated on 15/3/2023, 14:40:51 Последняя модификация15/3/2023, 14:40:51 تمت الحتلنة الأخيرة ب-15/3/2023, 14:40:51|