Theoretical and practical knowledge about model checking.
Specification formalisms, model checking algorithms, BDDs, SAT, abstraction, model checking tools.
This is a course of the Vienna PhD School of Informatics. It will be hold following the lectures of "181.145 Computer Aided Verification", but having different exercises.
Course dates to be announced.
Registration takes place in TISS