Computer Aided Verification

DOI10.1007/B98490MaRDI 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

• scientific article; zbMATH DE number 1982201
• 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)

• Tools and Algorithms for the Construction and Analysis of Systems
• Understanding counterexamples for relational properties with \textit{DIbugger}
• Whodunit? Causal Analysis for Counterexamples
• Fundamental Approaches to Software Engineering
• scientific article; zbMATH DE number 1956579 (Why is no real title available?)
• Explaining Counterexamples Using Causality
• Explaining Hyperproperty Violations
• How testing helps to diagnose proof failures
• Producing explanations for rich logics
• Instrumenting a weakest precondition calculus for counterexample generation
• Making the most of BMC counterexamples
• SAT-Based Model Checking
• Lazy slicing for state-space exploration
• scientific article; zbMATH DE number 1982201 (Why is no real title available?)
• Automated Technology for Verification and Analysis
• DSValidator: an automated counterexample reproducibility tool for digital systems
• Explaining counterexamples using causality

This page was built for publication: Computer Aided Verification

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