Gegenstand dieses Seminars sind die verschiedenen Aspekte und Techniken der Fehlererkennung in parallelen Programmen. Es werden sowohl dynamische als auch statische Verfahren besprochen. Schwerpunkte liegen dabei in der Klassifikation von Fehlertypen, der Erkennung von Wettläufen und Verletzungen von Atomizitätseigenschaften. Das Seminar wird als Blockveranstaltung angeboten.