モデルチェックの実行

Verificationブラウザでさまざまなモデルチェックを実行します。