未安装NuSMV

Question

我无法在Windows10操作系统上安装NuSMV-2.6.0-win64。我已成功下载此程序，但无法从‘bin’文件夹安装，该文件夹已被解压。

Answer 1

您不需要运行安装程序。您可以只运行位于bin文件夹中的二进制可执行文件。如果您查看bin文件夹，应该会有一个名为nusmv-xxx-.exe的文件，并且您可以运行该文件。

顺便说一句，您还可以在eclipse中使用NuSMV中的NuSeen插件，以方便地进行源代码格式化和语法突出显示。

Answer 2

在朋友的帮助下，我将解压后的( NuSMV -2.6.0-Win64)文件下载到桌面文件夹(SMV)中，并将需要验证的文件粘贴到NuSMV file.Then的'bin‘中，使用’cmd‘命令将目录更改为所需的路径，并使用’Chdir‘命令将其更改为所需的路径，在我的例子中为C:\users\dell\desktop\SMV\NuSMV-2.6.0-win64\bin>NuSMV文件名’‘ENTER’，这样就可以在批处理模式下验证该文件，并且我成功了。