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

Question

我正在按照教程在Windows 10上安装NuSMV。它可以很好地下载，但是从压缩（.tar）文件夹中提取文件后，在“ bin”文件夹中找不到.exe文件，该文件应该可以在那里（当然）。我正在从NuSMV网站下载它。我可能做错了什么？

Answer 1

要在Windows上使用NuSMV，应使用

• follow this link，

• 填写以下表格

  

• 根据他们的喜好单击Register或Do not register

• 从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 <[email protected]>.
  *** Please report bugs to <Please report bugs to <[email protected]>>
  
  *** 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 > 
  

---

问：我遵循了说明，但可执行文件不存在，该怎么办？ 您可能要检查防病毒程序是否将可执行文件放入隔离区。