- ベストアンサー
※ ChatGPTを利用し、要約された質問です（原文：NuSMVでのモデルチェック）
NuSMVでのモデルチェック
このQ&Aのポイント
- NuSMVを活用したモデルチェックの課題について解説します。
- A君とB君が階段で遊ぶシナリオに対して、NuSMVを用いて検証する方法を解説します。
- 具体的な検証項目として、ゴールへの到達や段差の制約、同時到達の可能性、勝敗のチャンスなどを考慮します。
- lisalisa_nyo
- お礼率0% (0/19)
- その他（プログラミング・開発）
- 回答数1
- ありがとう数1
- みんなの回答 （1）
- 専門家の回答
質問者が選んだベストアンサー
- ベストアンサー
noname#208507
回答No.1
それは "モデル検査 [初級編]"(2009) の例題ですね。 もしモデルの書き方自体が分からないのなら、ここで聞くより教科書を読んだ方がよいでしょう。そうではなく何かにつまずいたというのなら、どんなモデルを入力し、どううまくいかないのか書かないと誰も助言できないと思います。
