The following pages link to Axioms for total correctness (Q1240548):
Displayed 3 items.
- A mechanical analysis of program verification strategies (Q928673) (← links)
- Hierarchical program specification and verification - a many-sorted logical approach (Q1138904) (← links)
- Proving the correctness of regular deterministic programs: A unifying survey using dynamic logic (Q1139368) (← links)