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.