1

ubuntu マシンに NuSMV 2.5.4 をインストールしました。コマンド NuSMV -int first.smv を使用して対話モードで実行すると、次の応答が表示され、入力ファイル first.smv を開けません。何故ですか?smv ファイル (first.smv) を bin フォルダーに配置しました。

4

2 に答える 2

2

フォルダfirst.smvではなく、コマンドを実行するフォルダにある必要がありbinます

于 2015-05-19T11:23:52.580 に答える