Differences
This shows you the differences between two versions of the page.
| Last revision Both sides next 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 | + | * widening for powerdomains |
| * non-monotonicity of widening | * non-monotonicity of widening | ||
| * experimental evaluation with proving given invariants | * experimental evaluation with proving given invariants | ||