问如何在NuSMV上运行smv文件
EN

Stack Overflow用户

提问于 2015-05-19 10:46:58

回答 2查看 2.5K关注 0票数 1

我已经在一台ubuntu机器上安装了NuSMV 2.5.4。当我使用命令NuSMV -int first.smv以交互模式运行它时，得到的响应不能打开输入文件first.smv。为什么会这样呢？我已经将smv文件(first.smv)放在bin文件夹中。

回答已采纳

发布于 2015-05-19 11:23:52

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

票数 2

发布于 2018-05-18 18:30:25

您需要将文件路径指定为"first.smv“，例如：

$ NuSMV> read_model -i C:/您的文件夹/First.smv

会读到模型的。但是，在您发出其他相关命令之前，Model是不可见的。

HTH

票数 1

页面原文内容由Stack Overflow提供。腾讯云小微IT领域专用引擎提供翻译支持

原文链接：

https://stackoverflow.com/questions/30323461

复制

相似问题

问如何在NuSMV上运行smv文件EN