Text: The process of confirming that a system or component complies with its specified requirements and is acceptable for operational use.
Entailment: Systems are inspected prior to entering operational use.
Contradiction: Systems operations are loosely monitored.