Third Home Assignment
Note that the assignment file was updated with a few clarifications.
Due to that, a small extension has been given.
|פורסם ב- 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
The first home assignment is available and is due May 1st.
|פורסם ב- 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,
|פורסם ב- 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|