Correctness

The degree to which the information contained in a Work Product is provably true.
Note: In RE, correctness is sometimes used as a synonym for Adequacy, particularly when validating a Requirement rigorously against formally stated properties in the Context of a System.