Sound
Jump to navigation
Jump to search
Soundness is a formal property in computing science and logical statements.
The Soundness, Precision, and Terminability Trio
The three terms, Soundness, Precision, and Terminability are crucial properties that grounds the work in Abstract Interpretation.