A documented body of evidence that provides a convincing and
valid argument that a specified set of critical claims regarding a
system’s properties are adequately justified for a given application
in a given environment.