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

Question

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

Answer 1

要NuSMV在 Windows 上使用，应该

• 按照这个链接，

• 填写以下表格

  

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

• 从上一步后自动打开的页面中选择正确的下载链接

  （对于将是Windows Archive 64-bit (x86) 的 Windows。）

  

• 解压下载的文件，在子目录中显示NuSMV.exebin：

  

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

  ~$ ./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 > 
  

---

问：我按照说明进行操作，但没有可执行文件，我该怎么办？ 您可能需要检查您的防病毒程序是否将可执行文件置于隔离区。