The procedural steps and documentation needed to prove that a computer system performs properly and that its outputs can be trusted.