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