Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision | Next revision Both sides next revision | ||
|
sav08:hoare_logic [2008/03/03 09:44] pedagand |
sav08:hoare_logic [2008/03/03 10:31] pedagand |
||
|---|---|---|---|
| Line 37: | Line 37: | ||
| Note: weakest conditions (predicates) correspond to largest sets; strongest conditions (predicates) correspond to smallest sets that satisfy a given property (Graphically, a stronger condition $x > 0 \land y > 0$ denotes one quadrant in plane, whereas a weaker condition $x > 0$ denotes the entire half-plane.) | Note: weakest conditions (predicates) correspond to largest sets; strongest conditions (predicates) correspond to smallest sets that satisfy a given property (Graphically, a stronger condition $x > 0 \land y > 0$ denotes one quadrant in plane, whereas a weaker condition $x > 0$ denotes the entire half-plane.) | ||
| + | |||
| Line 48: | Line 49: | ||
| Note the similarity with relation composition. | Note the similarity with relation composition. | ||
| - | FIXME Graphical illustration. | + | {{sav08:sp.png?400x250|}} |
| ==== Lemma: Characterization of sp ==== | ==== Lemma: Characterization of sp ==== | ||