Differences
This shows you the differences between two versions of the page.
| Next revision | Previous revision | ||
|
sav07_lecture_12 [2007/04/28 23:11] vkuncak created |
sav07_lecture_12 [2007/04/30 16:58] vkuncak |
||
|---|---|---|---|
| Line 33: | Line 33: | ||
| * refinement of when to widen and merge | * refinement of when to widen and merge | ||
| * how to check if counterexample is real | * how to check if counterexample is real | ||
| - | * widening on abstract | + | * notion of powerdomain |
| + | * widening for powerdomains | ||
| * non-monotonicity of widening | * non-monotonicity of widening | ||
| * experimental evaluation with proving given invariants | * experimental evaluation with proving given invariants | ||