問題タブ [nuxmv]
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.
19 問題
0
投票する
0
に答える
172
参照
smt - NuSMV/NuXMV の列挙型の内部表現
固定長ビット配列と比較して、16 ビットの符号付き整数変数を間隔 (-32768..32767) として表すと、パフォーマンスが大幅に低下するのはなぜですか?
前処理された NuSMV/NuXMV モデルを調べると、間隔タイプが列挙型に変換されていることがわかります。
ただし、BDD の統計には、関連する情報は表示されません。
0
投票する
1
に答える
363
参照
model-checking - NuSMV のネストされた NEXT 演算子の構文エラー
NuSMV を使用してモデルをチェックしようとしましたが、コードは次のとおりです。
ただし、NuSMV kernel.smvシェルに入力するとエラーが発生します
私は NuSMV モデル チェッカーの初心者なので、この構文エラーを修正できませんでした。助けてください、ありがとう！