Difference between revisions of "Soundness, Precision, and Terminability"
Jump to navigation
Jump to search
| Line 4: | Line 4: | ||
=References= | =References= | ||
[[Category:Logic Model | [[Category:Logic Model]] [[Category:Abstract Interpretation]] | ||
</noinclude> | </noinclude> | ||
Revision as of 08:55, 19 July 2021
The three terms, Soundness, Precision, and Terminability are key ideas that grounds the work in Abstract Interpretation.