モデル検査とはなんですか？

A. モデル検査は、形式システム（形式的なコンピュータプログラム）をアルゴリズム的に検証する手法です。具体的には、入力となるデータやルールに対して、システムが正しく動作するか、エラーが発生しないか、期待通りに動作するかなどを、アルゴリズムを用いて検証します。

参考URL:https://ja.wikipedia.org/wiki/%E3%83%A2%E3%83%87%E3%83%AB%E6%A4%9C%E6%9F%BB