Hoare Logic

12 Outubro 2022, 18:30 • Antónia Lopes

Making simple proofs in Hoare Calculus. Clues on how to find loop invariants. Understand soundness and completeness.

Solved exercises: 1.1 (q), (u), 1.7 (a), 1.8