The following pages link to A Weaker Precondition for Loops (Q3954796):
Displaying 9 items.
- Complete proof rules for strong fairness and strong extreme fairness (Q685427) (← links)
- Alternating states for dual nondeterminism in imperative programming (Q974118) (← links)
- A simple fixpoint argument without the restriction to continuity (Q1075045) (← links)
- While-programs with nondeterministic assignments and the logic ALNA (Q1082808) (← links)
- A calculus of refinements for program derivations (Q1111362) (← links)
- On the total correctness of nondeterministic programs (Q1143163) (← links)
- Proving total correctness of nondeterministic programs in infinitary logic (Q1155605) (← links)
- Data refinement of predicate transformers (Q1177155) (← links)
- Verification of concurrent programs: The automata-theoretic framework (Q2277249) (← links)
