Explaining counterexamples using causality

DOI10.1007/S10703-011-0132-2MaRDI QIDQ453516zbMATHOpenAlexWikidataFDO

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

zbMATH Keywords

causalityhardware verificationformal verificationexplanation of counterexamples

Mathematics Subject Classification ID

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

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

Cites work

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

Cited in

(27)

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

Describes a project that uses

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)