Veranstaltung
Die hier angezeigten Termine und Veranstaltungen werden dynamisch aus Stud.IP heraus angezeigt.
Daher kontaktieren Sie bei Fragen bitte direkt die Person, die unter dem Punkt Lehrende/Dozierende steht.
Veranstaltung
2.01.496 Seminar Causality and Responsibility -
Veranstaltungsort
- Bitte wenden Sie sich an die Lehrenden
Beschreibung
Within formal verification, causality and responsibility are concepts describing causal reasons or reponsibilities for certain (potentially errorneous) system behaviour. Causality or responsibility is therein assigned to components of a system, statements within code or actions within system models. In this Master seminar, we will study different forms of causality and responsibility.
Lehrende
SWS
2
Lehrsprache
englisch