Difference between revisions of "Soundness"
Jump to navigation
Jump to search
| Line 1: | Line 1: | ||
[[wikipedia:Soundness|Soundness]] is the formal property in Systems Engineering/Computing Science to measure or represent the quality of | [[wikipedia:Soundness|Soundness]] is the formal property in Systems Engineering/Computing Science to measure or represent the quality of a statement being [[provably true]]. | ||
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'''. | 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'''. | ||
Revision as of 06:08, 18 May 2021
Soundness is the formal property in Systems Engineering/Computing Science to measure or represent the quality of a statement being provably true.
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.