Causality Checking for Complex System Models
The authors present an approach for the algorithmic computation of causalities in system models that they refer to as causality checking. They are basing their notion of causality on counterfactual reasoning, in particular using the structural equation model approach proposed in that has been extended to reasoning about computational models in. In this paper, they present a search-based on-the-fly approach that nicely integrates into finite state verification techniques, such as explicit-state model checking. They demonstrate the applicability of their approach using an industrial case study.