Pages that link to "Item:Q2963953"
From MaRDI portal
The following pages link to A Vindication of Program Verification (Q2963953):
Displaying 10 items.
- Lawful functions and program verification in miranda (Q918222) (← links)
- A mechanical analysis of program verification strategies (Q928673) (← links)
- Verification of programs that destructively manipulated data (Q1104731) (← links)
- Program verification: to err is human (Q2026776) (← links)
- Verifying Whiley programs with Boogie (Q2102933) (← links)
- Why there is no general solution to the problem of software verification (Q2151520) (← links)
- On the strength of “sometimes” and “always” in program verification (Q3341880) (← links)
- The Epistemology of Computer-Mediated Proofs (Q4972861) (← links)
- A Discipline for Program Verification Based on Backpointers and Its Use in Observational Disjointness (Q5326284) (← links)
- Program analysis is harder than verification: a computability perspective (Q6039396) (← links)