Explaining counterexamples using causality
From MaRDI portal
Publication:453516
DOI10.1007/s10703-011-0132-2zbMath1247.68158OpenAlexW2065086898WikidataQ124843971 ScholiaQ124843971MaRDI QIDQ453516
Avigail Orni, Richard Trefler, Shoham Ben-David, Hana Chockler, Ilan Beer
Publication date: 27 September 2012
Published in: Formal Methods in System Design (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10703-011-0132-2
Related Items (11)
Explaining safety violations in real-time systems ⋮ Foundations of fine-grained explainability ⋮ Causality analysis and fault ascription in component-based systems ⋮ Formal verification for event stream processing: model checking of BeepBeep stream processing pipelines ⋮ On probability-raising causality in Markov decision processes ⋮ Foundations of probability-raising causality in Markov decision processes ⋮ Temporal causality in reactive systems ⋮ Operational causality -- necessarily sufficient and sufficiently necessary ⋮ Causal Kripke Models ⋮ Dynamic causes for the violation of timed reachability properties ⋮ APPROPRIATE CAUSAL MODELS AND THE STABILITY OF CAUSATION
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Complexity results for structure-based causality.
- Model checking at IBM
- Erratum for “What causes a system to satisfy a specification?”
- Whodunit? Causal Analysis for Counterexamples
- Fault Localization and Correction with QBF
- Causes and Explanations: A Structural-Model Approach. Part I: Causes
- Tools and Algorithms for the Construction and Analysis of Systems
- Fundamental Approaches to Software Engineering
- An automata-theoretic approach to branching-time model checking
- Efficient Automatic STE Refinement Using Responsibility
- A Scalable Algorithm for Minimal Unsatisfiable Core Extraction
- Computer Aided Verification
This page was built for publication: Explaining counterexamples using causality