Pages that link to "Item:Q2013885"
From MaRDI portal
The following pages link to A unified approach of program verification (Q2013885):
Displaying 7 items.
- A mechanical analysis of program verification strategies (Q928673) (← links)
- Formalizing Single-Assignment Program Verification: An Adaptation-Complete Approach (Q2802468) (← links)
- Programmed strategies for program verification (Q2864527) (← links)
- Refinement-Based Verification of Communicating Unstructured Code (Q4571128) (← links)
- Holistic Specifications for Robust Programs (Q5039542) (← links)
- From program verification to program synthesis (Q5255085) (← links)
- A Discipline for Program Verification Based on Backpointers and Its Use in Observational Disjointness (Q5326284) (← links)