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.