5. Compute the weakest precondition for each of the following assignment statements and postconditions: a. aa+2b-1...

 

Transcribed Image Text:

5. Compute the weakest precondition for each of the following assignment statements and postconditions: a. aa+2b-1 {a> 1} b. x 2y+x-1 {x > 11} c. a = = 2b+1; b=a-3 {b <0} d. if (x > y) else y=2*x+1 y=3x-1; {y > 3} 5. Compute the weakest precondition for each of the following assignment statements and postconditions: a. aa+2b-1 {a> 1} b. x 2y+x-1 {x > 11} c. a = = 2b+1; b=a-3 {b <0} d. if (x > y) else y=2*x+1 y=3x-1; {y > 3}