Explaining Counterexamples Using Causality

DOI10.1007/978-3-642-02658-4_11MaRDI QIDQ3636856zbMATH OpenOpenAlexFDO

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

Publication date 30 June 2009

Published in Computer Aided Verification (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-02658-4_11

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

Cited in

(18)

• Whodunit? Causal Analysis for Counterexamples
• Enhancing unsatisfiable cores for LTL with information on temporal relevance
• scientific article; zbMATH DE number 1982201 (Why is no real title available?)
• Probabilistic causes in Markov chains
• Counterexample classification
• A theory of fine-grained lineage for functions on structured objects
• Producing explanations for rich logics
• Lazy slicing for state-space exploration
• scientific article; zbMATH DE number 2080066 (Why is no real title available?)
• Explaining counterexamples using causality
• scientific article; zbMATH DE number 1956579 (Why is no real title available?)
• Explanatory exclusion and causal exclusion
• Explaining Hyperproperty Violations
• From verification to causality-based explications (invited talk)
• Computer Aided Verification
• Verification, Model Checking, and Abstract Interpretation
• An efficient algorithm for computing causal trace sets in causality checking
• Causal reasoning for safety in Hennessy Milner logic

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 Q3636856)