Welcome to Automatic Verification of Software and Hardware! (236345) | |
|
Dear students, 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! Course staff |
| עדכון אחרון ב-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 |