Pages that link to "Item:Q2802468"

The following pages link to Formalizing Single-Assignment Program Verification: An Adaptation-Complete Approach (Q2802468):

Displayed 2 items.

• Instrumenting a weakest precondition calculus for counterexample generation (Q1648649) ‎ (← links)
• A verified VCGen based on dynamic logic: an exercise in meta-verification with Why3 (Q6156936) ‎ (← links)