如何 运行 我在 NuSMV 上的 smv 文件
How to run my smv file on NuSMV
我已经在 ubuntu 机器上安装了 NuSMV 2.5.4。当我使用命令 NuSMV -int first.smv 在交互模式下 运行 它时，我得到以下响应无法打开输入文件 first.smv。这是为什么？我已将我的 smv 文件 (first.smv) 放在 bin 文件夹中。
你的 first.smv 应该在你 运行 命令的文件夹中，而不是在 bin 文件夹中
您需要指定 "first.smv" 的文件路径，例如：
$ NuSMV> read_model -i C:/你的 folder/first.smv
这将读取模型。但在您发出其他相关命令之前，模型将不可见。
HTH
我已经在 ubuntu 机器上安装了 NuSMV 2.5.4。当我使用命令 NuSMV -int first.smv 在交互模式下 运行 它时，我得到以下响应无法打开输入文件 first.smv。这是为什么？我已将我的 smv 文件 (first.smv) 放在 bin 文件夹中。
你的 first.smv 应该在你 运行 命令的文件夹中，而不是在 bin 文件夹中
您需要指定 "first.smv" 的文件路径，例如：
$ NuSMV> read_model -i C:/你的 folder/first.smv
这将读取模型。但在您发出其他相关命令之前，模型将不可见。
HTH