Lab for Automated Reasoning and Analysis LARA

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

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
 
sav07_lecture_12.txt · Last modified: 2007/04/30 16:58 by vkuncak