Difference between revisions of "Soundness, Precision, and Terminability"
Jump to navigation
Jump to search
| Line 1: | Line 1: | ||
The three terms, [[Sound|Soundness]], [[Precision|Precision]], and [[Terminability|Terminability]] are key | The three terms, [[Sound|Soundness]], [[Precision|Precision]], and [[Terminability|Terminability]] are key metrics that grounds the work in [[Abstract Interpretation]]. | ||
<noinclude> | <noinclude> | ||
Revision as of 03:07, 11 February 2022
The three terms, Soundness, Precision, and Terminability are key metrics that grounds the work in Abstract Interpretation.
References