(a) Use Hoare logic to verify the partial correctness of the following program: int r =...

 

Transcribed Image Text:

(a) Use Hoare logic to verify the partial correctness of the following program: int r = 0; int i = 0; while (i < n) { } r = (i+1)* (i+1); i++; return r; Clearly identify the Hoare logic rules and simplification steps used at each stage of the verification. [10 marks] (a) Use Hoare logic to verify the partial correctness of the following program: int r = 0; int i = 0; while (i < n) { } r = (i+1)* (i+1); i++; return r; Clearly identify the Hoare logic rules and simplification steps used at each stage of the verification. [10 marks]