モデルが現実世界の物理法則や論理に反していないかを確認するプロセスを何と呼ぶか。

検証は、モデルが仕様や要求(または定義されたルール)に従って正しく構築されているかを確認する。