Verify that the following program segment is correct with respect to the initial assertion T and the ﬁnal $
\text { assertion } ( x \leq y \wedge \max = y ) \vee ( x y \wedge \max = x ) :$

Question

Verify that the following program segment is correct with respect to the initial assertion T and the ﬁnal $
\text { assertion } ( x \leq y \wedge \max = y ) \vee ( x > y \wedge \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 ﬁnal $
\text { assertion } ( x \leq y \wedge \max = y ) \vee ( x > y \wedge \max = x ) :$

Verify That the Following Program Segment Is Correct with Respect assertion (x≤y∧max⁡=y)∨(x>y∧max⁡=x):\text { assertion } ( x \leq y \wedge \max = y ) \vee ( x > y \wedge \max = x ) : assertion (x≤y∧max=y)∨(x>y∧max=x):

Verify That the Following Program Segment Is Correct with Respect $\text { assertion } ( x \leq y \wedge \max = y ) \vee ( x > y \wedge \max = x ) :$