Hoare Logic

Discussion of Hoare Logic and program correctness
Click https://www.cs.cornell.edu/Courses/cs4110/2012fa/lectures/lecture11.pdf link to open resource.