Difference between revisions of "Soundness"

Revision as of 07:27, 4 February 2022

Redirect to:

@@ Line 1: / Line 1: @@
-[[wikipedia:Soundness|Soundness]] is the formal property in Systems Engineering/Computing Science to measure or represent the quality of a statement being [[provably true]].
+#REDIRECT [[Sound]]
-The notion of Soundness is explicitly investigated in the works of [[Abstract Interpretation]], where statements in computable source code can be estimated in terms of their '''Soundness'''. [[Abstract Interpretation]] often study a system specification in a setting of the following trio: [[Soundness, Precision, and Terminability]].
-{{#ev:youtube|https://www.youtube.com/watch?v=9Utsppn-M_I|||||}}
-In the video shown above, Soundness is defined as a proof, which attain the quality of reaching [[wikipedia:Tautology (logic)|tautology]]. The notion of tautology can be explained in a simpler term. If one can keep all the logical statements in the proof process to be true, then, it is a tautology.
-==Related Pages==
-[[Definition::Metrics]]