我该如何正确安装 NuSMV，因为下载后的 bin 文件不包含 .exe 文件？

Question

我正在按照教程在 Windows10 上安装 NuSMV。它下载正常，但是从压缩 (.tar) 文件夹中提取文件后，我找不到 .exe "bin" 文件夹中的文件（当然）。我正在从 NuSMV 网站下载它。我可能做错了什么？

Answer 1

要在 Windows 上使用 NuSMV，应该

follow this link、
填写以下表格
根据他们的喜好点击 Register 或 Do not register
select 正确下载 link 来自 the page that is automatically opened after the last step

（对于 Windows 那将是 Windows Archive 64-bit (x86)。）
解压下载的文件，在bin子目录中显示NuSMV.exe：

在终端中导航到此类目录，然后运行执行以下命令：

~$ ./NuSMV.exe -int
*** This is NuSMV 2.6.0 (compiled on Wed Oct 14 15:37:51 2015)
*** Enabled addons are: compass
*** For more information on NuSMV see <http://nusmv.fbk.eu>
*** or email to <nusmv-users@list.fbk.eu>.
*** Please report bugs to <Please report bugs to <nusmv-users@fbk.eu>>

*** Copyright (c) 2010-2014, Fondazione Bruno Kessler

*** This version of NuSMV is linked to the CUDD library version 2.4.1
*** Copyright (c) 1995-2004, Regents of the University of Colorado

*** This version of NuSMV is linked to the MiniSat SAT solver. 
*** See http://minisat.se/MiniSat.html
*** Copyright (c) 2003-2006, Niklas Een, Niklas Sorensson
*** Copyright (c) 2007-2010, Niklas Sorensson

NuSMV >

问：我按照说明操作了，但是可执行文件不在那里，我该怎么办？ 您可能需要检查您的防病毒程序是否放置了可执行文件隔离中。

我该如何正确安装 NuSMV，因为下载后的 bin 文件不包含 .exe 文件？

How do I properly install NuSMV since, upon downloading, the bin file does not contain .exe file?

download

installation

tar

model-checking

nusmv