Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision | |||
sav08:correctness_of_a_g_reasoning [2008/04/10 13:54] 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 (see [[sav07_homework_4#rules_for_guarded_commands|homework in SAV'07]]) | + | * using weakest preconditions (see [[:sav07_homework_4#rules_for_guarded_commands|homework in SAV'07]]) |