Compute the weakest precondition for:
a:= 2 * b +1
b = a – 3
{ a < 0}
A step by step solution with explanation would be amazing.
I was thinking :
2 * b +1 < 0
2 * b < -1
b < -1/2 – Weakest Precondition
Expert Answer
An answer will be send to you shortly. . . . .