Event
The dates and events shown here are dynamically displayed from Stud.IP.
Therefore, if you have any questions, please contact the person listed under the item Lehrende/DozentIn (Lecturers) directly.
Event
2.01.496 Seminar Causality and Responsibility -
Location
- Bitte wenden Sie sich an die Lehrenden
Description
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.
Lecturers
SWS
2
Lehrsprache
englisch