We present an approach for the algorithmic computation of causalities in system models that we refer to as causality checking. We base our notion of causality on counterfactual reasoning, in particular using the structural equation model approach by Halpern and Pearl that we recently have extended to reason about computational models. 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. We demonstrate the applicability of our approach using an industrial case study. © Springer-Verlag 2013.
CITATION STYLE
Leitner-Fischer, F., & Leue, S. (2013). Causality checking for complex system models. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 7737 LNCS, pp. 248–267). Springer Verlag. https://doi.org/10.1007/978-3-642-35873-9_16
Mendeley helps you to discover research relevant for your work.