Teaching at Semantics and Verification of Parallel Systems

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

Theses

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