Notes of The Last Lecture (Verification 2)

Hello,

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:
Loops

The soundness proof is:
Subsection 7.4.2: Soundness

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

image

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

1 Like