Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision Next revision | Previous revision | ||
|
sav08:correctness_of_a_g_reasoning [2008/04/10 13:51] vkuncak |
sav08:correctness_of_a_g_reasoning [2008/04/10 13:54] vkuncak |
||
|---|---|---|---|
| Line 75: | Line 75: | ||
| Proofs: | Proofs: | ||
| * using relations | * using relations | ||
| - | * using weakest preconditions | + | * using weakest preconditions (see [[:sav07_homework_4#rules_for_guarded_commands|homework in SAV'07]]) |