First Home Assignment is now available | |
| Hello all, The first home assignment is available and is due May 1st. Good luck! |
| פורסם ב- 10/4/2022, 22:04:20 Created on 10/4/2022, 22:04:20 Создано 10/4/2022, 22:04:20 تم النشر ب- 10/4/2022, 22:04:20 |
Welcome to Advanced Topics in Formal Verification (236624) | |
| Dear Students, Welcome to the course "Advanced Topics in Formal Verification". As you know, lectures during this semester will be given physically in class. First lecture will take place tomorrow (Tuesday), 10:30-12:30 @ Taub 4. We will go over the logistics of the course tomorrow, and I will answer all administrative questions. See you tomorrow, Yakir |
| פורסם ב- 21/3/2022, 20:24:41 Created on 21/3/2022, 20:24:41 Создано 21/3/2022, 20:24:41 تم النشر ب- 21/3/2022, 20:24:41 |