Verify that the following program segment is correct with respect to the initial assertion T and the final
assertion (x ≤ y ∧ max = y) ∨ (x y ∧ max = x):
if x ≤ y then
max := y
else
max := x

Question

Verify that the following program segment is correct with respect to the initial assertion T and the final
assertion  (x ≤ y ∧ max = y) ∨ (x > y ∧ max = x):
if x ≤ y then
max := y
else
max := x

Quizplus · Accepted Answer

The Answer of Verify that the following program segment is correct with respect to the initial assertion T and the final
assertion  (x ≤ y ∧ max = y) ∨ (x > y ∧ max = x):
if x ≤ y then
max := y
else
max := x

Verify That the Following Program Segment Is Correct with Respect