Explaining counterexamples using causality
From MaRDI portal
Recommendations
Cites work
- 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
- 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?)
- 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
(34)- Dynamic causes for the violation of timed reachability properties
- Producing explanations for rich logics
- Causality analysis and fault ascription in component-based systems
- Appropriate causal models and the stability of causation
- Causality checking for complex system models
- An efficient algorithm for computing causal trace sets in causality checking
- Whodunit? Causal Analysis for Counterexamples
- Explaining Counterexamples Using Causality
- scientific article; zbMATH DE number 140417 (Why is no real title available?)
- scientific article; zbMATH DE number 1956579 (Why is no real title available?)
- scientific article; zbMATH DE number 1982201 (Why is no real title available?)
- scientific article; zbMATH DE number 2080066 (Why is no real title available?)
- Causal reasoning for safety in Hennessy Milner logic
- Computer Aided Verification
- Verification, Model Checking, and Abstract Interpretation
- Counterexample classification
- 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
- Constraint-based debugging in probabilistic model checking
- Responsibility analysis by abstract interpretation
- Probabilistic causal Kripke models
- Conflict-aware active automata learning
- Counterfactual causality for reachability and safety based on distance functions
- A theory of fine-grained lineage for functions on structured objects
- Counterfactuals modulo temporal logics
- ASQ-IT: interactive explanations for reinforcement-learning agents
- Causal Kripke models
- Explanatory exclusion and causal exclusion
- Explaining safety violations in real-time systems
- Foundations of fine-grained explainability
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)
