195.011 Model Checking
This course is in all assigned curricula part of the STEOP.
This course is in at least 1 assigned curriculum part of the STEOP.

2014S, VU, 2.0h, 3.0EC

Properties

  • Semester hours: 2.0
  • Credits: 3.0
  • Type: VU Lecture and Exercise

Aim of course

Theoretical and practical knowledge about model checking.

Subject of course

Specification formalisms, model checking algorithms, BDDs, SAT, abstraction, model checking tools.

Additional information

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.

Lecturers

  • Veith, Helmut

Institute

Course registration

Begin End Deregistration end
07.03.2014 00:00 06.06.2014 00:00 06.06.2014 00:00

Registration modalities

Registration takes place in TISS

Curricula

Study CodeSemesterPrecon.Info
PhD Vienna PhD School of Informatics

Literature

No lecture notes are available.

Language

English