Understanding counterexamples with \texttt{explain}

DOI10.1007/978-3-540-27813-9_35MaRDI QIDQ5312922zbMATH OpenOpenAlexFDO

Authors Alex Groce, Daniel Kroening, Flavio Lerda

Publication date 25 August 2005

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/b98490

Mathematics Subject Classification ID

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

Recommendations

• What went wrong: Explaining counterexamples
• An examination of counterexamples in Proofs and Refutations
• Understanding counterexamples for relational properties with \textit{DIbugger}
• Explaining counterexamples using causality
• Explaining Counterexamples Using Causality
• Building counterexamples

Cited in

(17)

• How testing helps to diagnose proof failures
• Instrumenting a weakest precondition calculus for counterexample generation
• Producing explanations for rich logics
• Lazy slicing for state-space exploration
• Making the most of BMC counterexamples
• SAT-Based Model Checking
• Whodunit? Causal Analysis for Counterexamples
• Explaining Counterexamples Using Causality
• Proof-like counter-examples
• What went wrong: Explaining counterexamples
• Explaining counterexamples using causality
• DSValidator: an automated counterexample reproducibility tool for digital systems
• Understanding counterexamples for relational properties with \textit{DIbugger}
• Tools and Algorithms for the Construction and Analysis of Systems
• A framework for counterexample generation and exploration
• Automated Technology for Verification and Analysis
• Explaining Hyperproperty Violations

This page was built for publication: Understanding counterexamples with \texttt{explain}

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