Courses

Ausgewählte Kapitel der Verifikation (WM 8)

703521

Model-Checking (VO / 2h / 4 ECTS-AP)
René Thiemann

703522

Automatic Deduction (VO / 2h / 4 ECTS-AP)
Clemens Ballarin

703523

Experiments in Verification (VO / 1h / 2 ECTS-AP)
Harald Störrle

Notes:

There may still be changes in the courses offered as well as room allocation and course dates.
The course descriptions found in the English version of the course catalogue are for informational purposes only. Authoritative information can be found in the "Vorlesungsverzeichnis" (German version of the course catalogue).