Sound
Jump to navigation
Jump to search
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.