Unifying wp and wlp
From MaRDI portal
Recommendations
- General correctness: A unification of partial and total correctness
- Formalizing Dijkstra's predicate transformer wp in weak second-order logic
- Healthiness conditions for predicate transformers
- Relating direct and predicate transformer partial correctness semantics for an imperative probabilistic-nondeterministic language
Cited in
(4)
This page was built for publication: Unifying wp and wlp
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q671411)