Next:
Hoare Tripple
Up:
COMP340-08B Lecture Notes
Previous:
Example Two
Contents
Floyd-Hoare Logic
Subsections
Hoare Tripple
Example One
Example Two
Example Three
Assignment Rule
Example One
Example Two
Proofs
Weakening Rule
Rule
Example
Proof
Concatenation (Composition) Rule
Proof of Soundness
Example
If-rules
While Rule
David Goodwin 2008-09-20