モデル検査

読み方、または別称：

Model Checking

モデル検査とは

モデル検査（Model Checking）とは、形式システムをアルゴリズム的に検証する手法である。ハードウェアやソフトウェアの設計から導出されたモデルが形式仕様を満足するかどうか検証する。

• 出典: フリー百科事典『ウィキペディア（Wikipedia）』
• [ モデル検査の改定履歴 ]