Floyd--Hoare Logic

Floyd–Hoare logic is a foundation of axiomatic semantics of classical programs, and it provides effective proof techniques for …