Lehre in der Arbeitsgruppe Semantik und Verifikation paralleler Systeme

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.