What went wrong: Explaining counterexamples
From MaRDI portal
Recommendations
Cited in
(31)- Debugging of concurrent systems using counterexample analysis
- More efficient on-the-fly LTL verification with Tarjan's algorithm
- Detecting errors before reaching them
- Making the most of BMC counterexamples
- Minimal Proof Search for Modal Logic K Model Checking
- Formal Modeling and Verification of High-Availability Protocol for Network Security Appliances
- Producing Short Counterexamples Using “Crucial Events”
- Discriminative Model Checking
- Whodunit? Causal Analysis for Counterexamples
- Explaining Counterexamples Using Causality
- Finding and fixing faults
- Proof-like counter-examples
- scientific article; zbMATH DE number 2080066 (Why is no real title available?)
- Explaining counterexamples using causality
- Flaw detection in formal specifications
- An alternate explanation of two BAN-logic ``failures
- Tools and Algorithms for the Construction and Analysis of Systems
- Computer Aided Verification
- Fundamental Approaches to Software Engineering
- Automated Technology for Verification and Analysis
- Extending Model Checking with Dynamic Analysis
- Finding Counter Examples in Induction Proofs
- Verification, Model Checking, and Abstract Interpretation
- Counterexample Simplification for Liveness Property Violation
- Counterexample classification
- Operational causality -- necessarily sufficient and sufficiently necessary
- Explaining Hyperproperty Violations
- How hard is finding shortest counter-example lassos in model checking?
- Conflict-aware active automata learning
- Counterfactual causality for reachability and safety based on distance functions
- Program repair without regret
This page was built for publication: What went wrong: Explaining counterexamples
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4426376)
