Compute the weakest precondition for each of the following assignment statements and postconditions: a. a =...

 

Transcribed Image Text:

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

Answer rating: 100% (QA)

The weakest precondition WP for an assignment statem... View the full answer