运行 Windows 上的 NuSMV 2.6

Question

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

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

Answer 1

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

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

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