モデル検査
モデル検査 (model checking) は、初期状態と遷移規則から到達可能な状態をすべて列挙し、仕様に反する状態がないかを自動で確かめる手法。 入力は次の2つ。 モデル: システムを有限の状態遷移系として書いたもの 仕様: 「2つのp…
106 のタグ。選ぶと該当する記事に絞り込みます。
1 件中 1–1 件
モデル検査 (model checking) は、初期状態と遷移規則から到達可能な状態をすべて列挙し、仕様に反する状態がないかを自動で確かめる手法。 入力は次の2つ。 モデル: システムを有限の状態遷移系として書いたもの 仕様: 「2つのp…