Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision | |||
|
sav07_lecture_12 [2007/04/30 16:58] vkuncak |
sav07_lecture_12 [2007/04/30 16:58] (current) 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 | ||
| + | * notion of powerdomain | ||
| * widening for powerdomains | * widening for powerdomains | ||
| * non-monotonicity of widening | * non-monotonicity of widening | ||