Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision | |||
sav08:abstract_interpretation [2008/04/30 11:02] vkuncak |
sav08:abstract_interpretation [2008/04/30 11:02] vkuncak |
||
---|---|---|---|
Line 1: | Line 1: | ||
====== Abstract Interpretation ====== | ====== Abstract Interpretation ====== | ||
- | Goal: Invariant Inference by Approximation ====== | + | Goal: Invariant Inference by Approximation |
Approximate strongest postcondition $sp$ with operator $sp\#$ whose fixedpoint e.g. has a finite height. | Approximate strongest postcondition $sp$ with operator $sp\#$ whose fixedpoint e.g. has a finite height. |