开发者社区

文档建议反馈控制台

文章/答案/技术大牛

发布

社区首页 >问答首页 >在Windows上运行NuSMV 2.6

问在Windows上运行NuSMV 2.6
EN

Stack Overflow用户

提问于 2017-11-21 12:29:57

回答 1查看 1.7K关注 0票数 0

我已经从NuSMV网站下载了这些文件，但实际上我无法在我的系统上运行应用程序。任何线索都将不胜感激。

该文件包含文件夹- bin、lib、share、include

EN

回答 1

Stack Overflow用户

回答已采纳

发布于 2017-12-15 12:10:39

您必须在命令行上运行它。

在/bin中打开cmd并运行命令NuSMV.exe filename.smv

探索命令行选项，您将能够使用它，无论您需要

票数 1

EN

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

原文链接：

https://stackoverflow.com/questions/47413174

复制

相似问题