Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision | |||
|
sav08:lecture03 [2008/02/27 18:42] vkuncak |
sav08:lecture03 [2008/03/02 22:18] vkuncak |
||
|---|---|---|---|
| Line 6: | Line 6: | ||
| [[Hoare Logic]] - Verifying programs by writing sufficient assertions in program code, Weakest Preconditions, Strongest Postconditions. | [[Hoare Logic]] - Verifying programs by writing sufficient assertions in program code, Weakest Preconditions, Strongest Postconditions. | ||
| + | |||
| + | In [[lecture04]] we will use these notions to express correctness of annotated programs using formulas. | ||