在OSX上运行NuSMV

Question

我已经使用自述文件安装了NuSMV，但是当我尝试使用NuSMV命令时，我得到了以下消息：-bash: NuSMV:命令未找到

互联网上没有太多关于这方面的信息，所以我希望能提供任何帮助

Answer 1

转到我的主目录，创建一个新的bash配置文件，并在bin目录中添加NuSMV可执行文件，使它能够正常工作。

Answer 2

如何使它在MacOSX上工作

找到这个链接：http://nusmv.fbk.eu/

点击

NuSMV 2.6.0已经发布！

选择: NuSMV二进制文件图像

填写详细信息并注册:您将能够下载一个压缩文件，解压它并复制到任何你想要的地方。现在我们需要设定道路。

打开终端并执行如下操作:将/opt/nusmv-X.Y.Z/bin目录添加到命令search PATH环境变量中。例如用于bash shell：

%导出PATH=${PATH}:/opt/nusmv-X.Y.Z/bin

设置NUSMV_LIBRARY_PATH环境变量。例如用于bash shell：

出口NUSMV_LIBRARY_PATH=/opt/nusmv-X.Y.Z/share/nusmv %

现在您已经准备好运行并享受NuSMV了。

% NuSMV -int #以运行交互模式