verification - 在 Windows 64 位上安装 NuSMV 2.6 工具

Question

如何在 Windows 上安装 NuSMV 2.6 工具？我尝试但我不能，我不知道如何安装它。我应该在安装 NuSMVV 之前安装任何程序吗？

Answer 1

足以：

1. 从以下网址下载二进制 NuSMV-2.6.0-win64.tar.gz：http ://nusmv.fbk.eu/NuSMV/download/getting_bin-v2.html
2. 提取所有文件。
3. 研究： http: //nusmv.fbk.eu/NuSMV/userman/v26/nusmv.pdf
4. 相应地执行 NuSMV-2.6.0-win64\bin\NuSMV.exe