Content deleted Content added
Line 175:
the strongest solution of Z:[ Z ≡ x > 0 ∧ Z(x ← x-1) ∨ x < 0 ∧ Z(x ← -x-1) ∨ x=0 ∧ post ]
= { solve the equation by approximation }
post(
Therefore, wp(prog2, post ) = post(
== Other predicate transformers ==
| |||