Abstract-We present an approach for the algorithmic computation of causalities in system models that we refer to as causality checking. We are basing our notion of causality on counterfactual reasoning, in particular using the structural equation model approach proposed in [1] that has been extended to reasoning about computational models in [2] . In this paper we present a search-based on-the-fly approach that nicely integrates into finite state verification techniques, such as explicit-state model checking [3] . We demonstrate the applicability of our approach using an industrial case study.
They extended their approach by introducing the notion of causality checking, through integrating causality in the model checking algorithm itself REF .
Causality Checking for Complex System Models
VMCAI
Computer Science