問題タブ [nusmv]
For questions regarding programming in ECMAScript (JavaScript/JS) and its various dialects/implementations (excluding ActionScript). Note JavaScript is NOT the same as Java! Please include all relevant tags on your question; e.g., [node.js], [jquery], [json], [reactjs], [angular], [ember.js], [vue.js], [typescript], [svelte], etc.
95 問題
0
投票する
0
に答える
24
参照
0
投票する
0
に答える
33
参照
model-checking - NuSMV で扱いやすいデータ構造で反例を返すにはどうすればよいですか?
私の NuSMV スクリプトでは、LTLSPEC の反例のトレースを取得しようとしていますが、取得できた唯一の方法は、シェルを使用することでした。
扱いやすいデータ構造でその痕跡を捉える可能性はありますか? XML 形式で返される可能性があることを読みましたが、残念ながらできませんでした。
方法があるはずです。
0
投票する
0
に答える
29
参照
model-checking - NuSMV GUI インストール
GNuSMV Web サイトからユーザー インターフェイスを使用して NuSMV チェッカーをインストールしようとしています。すべての手順を適用しましたが、正しく動作しませんでした。私の64ビットラップトップ、Windows 10でユーザーインターフェイスを使用してNuSMVを実行するのを手伝ってくれる人はいますか?
前もって感謝します