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|