0

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

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

4

1 回答 1

1

您将不得不通过命令行运行它。

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

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

于 2017-12-15T12:10:39.873 回答