7. Wite a proof outoheflowg program, with the gndost-conditions (k>0 mk nm while (m>0) do od: Make sure to state precisely what P and explain how you are applying the iteration rule correctly. 8. Modify the previous proof outline for total correctness. Show transcribed image text
0 mk nm while (m>0) do od: Make sure to state precise…> . . .