Causality Checking for Complex System Models

@inproceedings{LeitnerFischer2013CausalityCF,
  title={Causality Checking for Complex System Models},
  author={Florian Leitner-Fischer and Stefan Leue},
  booktitle={VMCAI},
  year={2013}
}
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… CONTINUE READING
BETA

Citations

Publications citing this paper.
SHOWING 1-10 OF 28 CITATIONS, ESTIMATED 41% COVERAGE

69 Citations

01020'13'15'17'19
Citations per Year
Semantic Scholar estimates that this publication has 69 citations based on the available data.

See our FAQ for additional information.

Similar Papers

Loading similar papers…