NuSMVを学ぶ最も良い方法は何ですか？

Question

基本的に、NuSMVを使って複雑なSimulinkモデルを構築することができます。私は公式のNuSMVガイドを試してみましたが、それは自分のような初心者にとっては複雑すぎます。また、NuSMVのSimulinkモデルのモデリングに焦点を当てた書籍はありません。

Answer 1

小さなプログラムを書いたり変更したりすることでNuSMVを学びました。私の大学の演習もありました。 NuSMVで小さなプログラムの作成と変更を開始することをお勧めします。すでにかなりの数がありますexample programs。