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

ページ名：モデル検査とはなんですか？

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