What exactly is the weakest precondition and how can I find it for a given expression?
Example:
Give the weakest precondition for:
- i) WP[x = 5x;](x mod 10 = 0)
- ii) WP[x = z - 2;] (x<2)
I tried:
i) x=0
ii) z <4
can someone help me please to solve this?
