我无法在 Windows 10 操作系统上安装 NuSMV-2.6.0-win64。我已成功下载此文件，但无法从已解压缩的“bin”文件夹安装。
问问题
865 次
2 回答
0
在朋友的帮助下，我做了以下事情：我在桌面文件夹（SMV）上下载了解压缩的（NuSMV-2.6.0-win64）文件，并将要验证的文件粘贴到 NuSMV 文件的“bin”中。然后，使用“cmd”命令，将目录更改为应用“Chdir”命令所需的路径。在我的情况下，它是 C:\users\dell\desktop\SMV\NuSMV-2.6.0-win64\bin>NuSMV文件名'ENTER'。有了这个，文件可以在批处理模式下验证，我成功了。
于 2017-06-26T03:23:06.853 回答
0
您无需运行安装程序。您可以只运行位于 bin 文件夹中的二进制可执行文件。如果您查看 bin 文件夹，应该有一个名为的文件nusmv-xxx-.exe，并且您可以运行该文件。
顺便说一句，您还可以在带有 NuSMV 的 Eclipse 中使用 NuSeen 插件，以方便地进行源格式设置和语法突出显示。
于 2017-06-18T16:30:42.343 回答