我在ubuntu机器上安装了NuSMV 2.5.4。当我使用命令NuSMV -int first.smv以交互模式运行它时，我得到以下响应无法打开输入文件first.smv。这是为什么？我已将我的smv文件（first.smv）放在bin文件夹中。
答案 0 :(得分：1)
您的first.smv应该在您运行命令的文件夹中，而不是在bin文件夹
答案 1 :(得分：0)
您需要将文件路径指定为“first.smv”，例如：
$ NuSMV＆gt; read_model -i C：/你的文件夹/ first.smv
将读取模型。但是在你提供其他相关命令之前，模型将不可见。
HTH