Third Home Assignment | |
| Hello all, Note that the assignment file was updated with a few clarifications. Due to that, a small extension has been given. Good luck. |
| פורסם ב- 21/7/2022, 22:38:01 Created on 21/7/2022, 22:38:01 Создано 21/7/2022, 22:38:01 تم النشر ب- 21/7/2022, 22:38:01 |
Second Home Assignment | |
| The second home assignment is available and is due on June 6. Note that I did not return home assignment 1 for a reason (mainly, the first question). We will discuss it in class next week. |
| פורסם ב- 24/5/2022, 15:32:27 Created on 24/5/2022, 15:32:27 Создано 24/5/2022, 15:32:27 تم النشر ب- 24/5/2022, 15:32:27 |
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 |