Text: A formal demonstration that a system or component complies with its specified requirements and is acceptable for operational use.
Entailment: Systems must pass inspection before use.
Contradiction: Formal demonstrations aren't necessary to certify a system.