Seminar: 2.01.800-B Proseminar Kausalität - Details

Seminar: 2.01.800-B Proseminar Kausalität - Details

General information

Course name Seminar: 2.01.800-B Proseminar Kausalität
Subtitle inf800
Course number 2.01.800-B
Semester WiSe26/27
Current number of participants 1
expected number of participants 12
Home institute Department of Computing Science
Courses type Seminar in category Teaching
Type/Form S
Lehrsprache deutsch

Rooms and times

The course times are not decided yet.

Module assignments

Comment/Description

Kausalität ist ein Begriff im Bereich der formalen Programmanalyse, der beschreibt, was Gründe für unerwartetes Systemverhalten sein könnten. Im Bereich der Fehlerlokalisation in Programmen untersucht Kausalität beispielsweise welche Programmteile "Schuld" an Fehlern sind. In dem Proseminar wollen wir uns verschiedene Konzepte und Techniken im Bereich der Kausalität anschauen.