Difference between revisions of "Soundness, Precision, and Terminability"
Jump to navigation
Jump to search
| (2 intermediate revisions by the same user not shown) | |||
| Line 1: | Line 1: | ||
The three terms, [[Sound|Soundness]], [[Precision|Precision]], and [[Terminability|Terminability]] are | The three terms, [[Sound|Soundness]], [[Precision|Precision]], and [[Terminability|Terminability]] are crucial properties that grounds the work in [[Abstract Interpretation]]. | ||
<noinclude> | <noinclude> | ||
=References= | =References= | ||
<references /> | |||
[[Category:Logic Model]] [[Category:Abstract Interpretation]] | [[Category:Logic Model]] [[Category:Abstract Interpretation]] | ||
</noinclude> | </noinclude> | ||
Latest revision as of 07:45, 23 May 2022
The three terms, Soundness, Precision, and Terminability are crucial properties that grounds the work in Abstract Interpretation.
References