Our Courses and Theses

Subsequently, we list our regular courses.

Offered Courses

Title Type Term SWS ECTS
Automatic Software Verification (ASV) integrated course SS 4 6
Verification of Parallel Programs (VPP) integrated course WS 4 6
Advanced Approaches in Software Verification (AASV) seminar SS, WS 2 3


For information on bachelor or master thesis, please inspect our thesis topics.