Basic Information
Developing Software Tools For Computer-aided Verification Of Programs. Improving Existing Tools and Adapting Them For Wider Applications. Using The Tools For The Verification of Complicated Programs.
Faculty: Computer Science
|Undergraduate Studies
|Graduate Studies
Pre-required courses
236342 - Introduction to Software Verification
Semestrial Information
Weekly Hours
3 Academic Credit • 2 Lecture Hours • 3 Project Hours
Go to Course Page
Responsible(s)
Shachar Itzhaky
Registration Groups
|
|
Weekly Hours
3 Academic Credit • 2 Lecture Hours • 3 Project Hours
Go to Course Page
Responsible(s)
Shachar Itzhaky
Notes
-
מומלצים הקורסים: את"מ ומבוא לאימות (אפשר כצמוד).
Registration Groups
|
|
Weekly Hours
3 Academic Credit • 2 Lecture Hours • 3 Project Hours
Go to Course Page
Registration Groups
|
|