Lehrveranstaltungsübersicht
Titel | Typ | Semester | SWS | CP/ECTS |
---|---|---|---|---|
Automatische Softwareverifikation (ASV) | integrierte Veranstaltung | SS | 4 | 6 |
Verifikation paralleler Programme (VPP) | integrierte Veranstaltung | WS | 4 | 6 |
Fortgeschrittene Techniken der Softwareverifikation (FTSV) | Seminar | SS, WS | 2 | 3 |
Abschlussarbeiten
Falls Sie sich für eine Abschlussarbeit in unserer Arbeitsgruppe interessieren, finden Sie nähere Informationen hier.