Match the code on the left with the precondition P(x,y) and postcondition Q(x,y) on the right...

Transcribed Image Text:

Match the code on the left with the precondition P(x,y) and postcondition Q(x,y) on the right that verifies its correctness. Instructions 2y y = 2t t := x x := y² y=t t := x x := y + 2 -{ -{ Match the code on the left with the precondition P(x,y) and postcondition Q(x,y) on the right that verifies its correctness. Instructions 2y y = 2t t := x x := y² y=t t := x x := y + 2 -{ -{