Explaining counterexamples using causality

DOI10.1007/S10703-011-0132-2zbMATH Open1247.68158OpenAlexW2065086898WikidataQ124843971 ScholiaQ124843971MaRDI QIDQ453516FDOQ453516

Authors: Ilan Beer, Shoham Ben-David, Hana Chockler, Avigail Orni, Richard Trefler 

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

Recommendations

• Explaining Counterexamples Using Causality
• scientific article; zbMATH DE number 1982201
• Computer Aided Verification
• Whodunit? Causal Analysis for Counterexamples
• scientific article; zbMATH DE number 1956579

zbMATH Keywords

causalityhardware verificationformal verificationexplanation of counterexamples

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Cites Work

• Title not available (Why is that?)
• Reasoning with temporal logic on truncated paths.
• An automata-theoretic approach to branching-time model checking
• Causes and Explanations: A Structural-Model Approach. Part I: Causes
• Title not available (Why is that?)
• Fault Localization and Correction with QBF
• Title not available (Why is that?)
• A Scalable Algorithm for Minimal Unsatisfiable Core Extraction
• Title not available (Why is that?)
• Complexity results for structure-based causality.
• Model checking at IBM
• Making the most of BMC counterexamples
• Erratum for “What causes a system to satisfy a specification?”
• Whodunit? Causal Analysis for Counterexamples
• Debugging design errors by using unsatisfiable cores
• Title not available (Why is that?)
• Tools and Algorithms for the Construction and Analysis of Systems
• Fundamental Approaches to Software Engineering
• Efficient Automatic STE Refinement Using Responsibility

Cited In (25)

• Appropriate causal models and the stability of causation
• Constraint-based debugging in probabilistic model checking
• Title not available (Why is that?)
• Explaining safety violations in real-time systems
• Foundations of fine-grained explainability
• Whodunit? Causal Analysis for Counterexamples
• On probability-raising causality in Markov decision processes
• Title not available (Why is that?)
• Dynamic causes for the violation of timed reachability properties
• Foundations of probability-raising causality in Markov decision processes
• Counterexample classification
• Title not available (Why is that?)
• Causality analysis and fault ascription in component-based systems
• Title not available (Why is that?)
• Explanatory exclusion and causal exclusion
• Computer Aided Verification
• Explaining Counterexamples Using Causality
• Verification, Model Checking, and Abstract Interpretation
• Operational causality -- necessarily sufficient and sufficiently necessary
• Causal Kripke Models
• An efficient algorithm for computing causal trace sets in causality checking
• Causality checking for complex system models
• Temporal causality in reactive systems
• Formal verification for event stream processing: model checking of BeepBeep stream processing pipelines
• Responsibility analysis by abstract interpretation

Uses Software

• CESAR

This page was built for publication: Explaining counterexamples using causality

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q453516)