The Course Addresses Updated Results and Current Reserach Directions In Formal Verification Methods.

Faculty: Computer Science
|Undergraduate Studies |Graduate Studies

Semestrial Information

Weekly Hours

2 Academic Credit • 2 Lecture Hours

Go to Course Page

Go to Course Page


Responsible(s)

Yakir Vizel


Registration Groups
10
Lecture Wednesday 14:30 - 16:30 דייויס 640 | Yakir Vizel
Weekly Hours

2 Academic Credit • 2 Lecture Hours

Go to Course Page

Go to Course Page


Responsible(s)

Yakir Vizel


Registration Groups
10
Lecture Tuesday 10:30 - 12:30 טאוב 4 | Yakir Vizel
Weekly Hours

2 Academic Credit • 2 Lecture Hours

Go to Course Page

Go to Course Page


Responsible(s)

Yakir Vizel


Registration Groups
10
Lecture Wednesday 14:30 - 16:30 טאוב 6 | Yakir Vizel