Notes of The Last Lecture (Verification 2)


I couldn’t find the notes of the last lecture (Verification Part_2) in the material. Would you please upload them?

The Hoare rules for loops are in 7.4.1:

The soundness proof is:
Subsection 7.4.2: Soundness

Thank you. However, I didn’t mean the script (book) but the slides of board.


Sorry for the late reply.
The notes were updated with the content of Tuesday.

1 Like