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] 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 |