4-Compute the weakest precondition for the following statements A. x = 8+ (2y + 4x); y=2*x+ 8 {y > 16} B. if (x > y) y=3

[answerhappygod]

4 Compute The Weakest Precondition For The Following Statements A X 8 2y 4x Y 2 X 8 Y 16 B If X Y Y 3 1 (18.33 KiB) Viewed 19 times

4-Compute the weakest precondition for the following statements A. x = 8+ (2y + 4x); y=2*x+ 8 {y > 16} B. if (x > y) y=3*x+ 6 else y= 9 *x+3; {y > 3}