Difference between revisions of "Sound"
Jump to navigation
Jump to search
| Line 1: | Line 1: | ||
Soundness is a formal property in computing science and | {{WikiEntry|key=Soundness|qCode=693083}} is a formal property in computing science and it means that certain statement is logically valid and its relevant premises are [[true]]. | ||
=The Soundness, Precision, and Terminability Trio= | =The Soundness, Precision, and Terminability Trio= | ||
{{:Soundness, Precision, and Terminability}} | {{:Soundness, Precision, and Terminability}} | ||
Revision as of 07:26, 4 February 2022
Soundness(Q693083) is a formal property in computing science and it means that certain statement is logically valid and its relevant premises are true.
The Soundness, Precision, and Terminability Trio
The three terms, Soundness, Precision, and Terminability are crucial properties that grounds the work in Abstract Interpretation.