要求が「検証済み(Verified)」だが「妥当(Validated)」ではない場合、どのような問題があるか。

形式的な正しさ(検証)と、本来の目的への適合性(妥当性確認)は別個に評価される。