Computer Aided Verification

DOI10.1007/B98490zbMATH Open1103.68620OpenAlexW4298302743MaRDI QIDQ5312922FDOQ5312922

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

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

Mathematics Subject Classification ID

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

Cited In (16)

• Whodunit? Causal Analysis for Counterexamples
• Title not available (Why is that?)
• How testing helps to diagnose proof failures
• Lazy slicing for state-space exploration
• Automated Technology for Verification and Analysis
• Explaining Hyperproperty Violations
• Title not available (Why is that?)
• Explaining counterexamples using causality
• Instrumenting a weakest precondition calculus for counterexample generation
• Explaining Counterexamples Using Causality
• SAT-Based Model Checking
• Title not available (Why is that?)
• Fundamental Approaches to Software Engineering
• Making the most of BMC counterexamples
• DSValidator: an automated counterexample reproducibility tool for digital systems
• Tools and Algorithms for the Construction and Analysis of Systems

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)