Pages that link to "Item:Q1776586"
From MaRDI portal
The following pages link to Generating error traces from verification-condition counterexamples (Q1776586):
Displaying 5 items.
- Instrumenting a weakest precondition calculus for counterexample generation (Q1648649) (← links)
- HOL-Boogie -- an interactive prover-backend for the verifying C compiler (Q2655335) (← links)
- ExplainHoudini: Making Houdini Inference Transparent (Q3075491) (← links)
- HOL-Boogie — An Interactive Prover for the Boogie Program-Verifier (Q3543656) (← links)
- Explaining Verification Conditions (Q5505421) (← links)
