完全な正確な検証可能な方法、要件、設計、動作、またはその他の特性、システムまたはコンポーネント、および、多くの場合、これらの規定を満たしているかどうかを決定するための手順では、指定しますドキュメント。