在Windows上运行NuSMV 2.6

Question

我已经从NuSMV网站下载了文件，但我实际上无法在我的系统上运行该应用程序。任何线索都将受到赞赏。

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

Answer 1

您必须通过命令行运行它。

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

探索命令行选项，然后您就可以使用它了