Pages that link to "Item:Q2849596"
From MaRDI portal
The following pages link to Making the most of BMC counterexamples (Q2849596):
Displaying 8 items.
- Explaining counterexamples using causality (Q453516) (← links)
- Under-approximating loops in C programs for fast counterexample detection (Q746774) (← links)
- SAT-Based Model Checking (Q3176368) (← links)
- On the Notion of Vacuous Truth (Q3498452) (← links)
- Tools and Algorithms for the Construction and Analysis of Systems (Q5308387) (← links)
- Tools and Algorithms for the Construction and Analysis of Systems (Q5308392) (← links)
- Fundamental Approaches to Software Engineering (Q5316437) (← links)
- Verification, Model Checking, and Abstract Interpretation (Q5711507) (← links)