Welcome to Automatic Verification (236345)
Welcome to the Automatic Verification of Hardware and Software Systems course.
The first lecture and tutorial will take place on Tuesday, 27.10.2020 via Zoom.
Links to the lectures and tutorials will be published later, as well as our office hours. Try to fit yourselves to those office hours, or contact us by email. We will be happy to answer your questions and help you with this course during the semester.
All the information you need appears at the course website at http://webcourse.cs.technion.ac.il/236345
We wish you a fruitful and enjoyable semester!
|פורסם ב- 12/10/2020, 10:17:18 Created on 12/10/2020, 10:17:18 Создано 12/10/2020, 10:17:18 تم النشر ب- 12/10/2020, 10:17:18|