model-checking - 如何在 NuSMV 上运行我的 smv 文件

Question

我在 ubuntu 机器上安装了 NuSMV 2.5.4。当我使用命令 NuSMV -int first.smv 在交互模式下运行它时，我得到以下响应无法打开输入文件 first.smv。这是为什么？我已将我的 smv 文件（first.smv）放在 bin 文件夹中。

score 2 · Accepted Answer

2

您first.smv应该在运行命令的文件夹中，而不是在bin文件夹中

于 2015-05-19T11:23:52.580 回答

score 1 · Accepted Answer

您需要指定“first.smv”的文件路径，例如：

$ NuSMV> read_model -i C:/你的文件夹/first.smv

这将读取模型。但是在您给出其他相关命令之前，模型将不可见。

高温高压

2 回答 2