运行 OSX 上的 NuSMV
Running NuSMV on OSX
我已经使用提供的自述文件安装了 NuSMV，但是当我尝试使用 NuSMV 命令时，我收到以下消息：
-bash: NuSMV: 找不到命令
互联网上没有太多关于这方面的信息，所以我很感激任何帮助
转到我的主目录，创建一个新的 bash 配置文件并将 NuSMV 可执行文件附加到 bin 目录，使其工作正常。
如何让它在 MacOSX 上运行
得到这个 link : http://nusmv.fbk.eu/
点击
NuSMV 2.6.0 已过期！
Select：NuSMV 二进制文件
image
填写详细信息并注册：您将能够下载一个 zip 文件，将其解压缩并复制到您想要的任何位置。现在我们需要设置路径。
打开终端并执行如下操作：
将目录 /opt/nusmv-X.Y.Z/bin 添加到您的命令
搜索 PATH 环境变量。例如。对于 bash shell:
% export PATH=${PATH}:/opt/nusmv-X.Y.Z/bin
设置NUSMV_LIBRARY_PATH环境变量。例如。 bash shell:
% export NUSMV_LIBRARY_PATH=/opt/nusmv-X.Y.Z/share/nusmv
现在您可以运行享受 NuSMV 了。
% NuSMV -int # to run the interactive mode
我已经使用提供的自述文件安装了 NuSMV，但是当我尝试使用 NuSMV 命令时，我收到以下消息： -bash: NuSMV: 找不到命令
互联网上没有太多关于这方面的信息，所以我很感激任何帮助
转到我的主目录，创建一个新的 bash 配置文件并将 NuSMV 可执行文件附加到 bin 目录，使其工作正常。
如何让它在 MacOSX 上运行
得到这个 link : http://nusmv.fbk.eu/
点击
NuSMV 2.6.0 已过期！
Select：NuSMV 二进制文件 image
填写详细信息并注册：您将能够下载一个 zip 文件，将其解压缩并复制到您想要的任何位置。现在我们需要设置路径。
打开终端并执行如下操作： 将目录 /opt/nusmv-X.Y.Z/bin 添加到您的命令 搜索 PATH 环境变量。例如。对于 bash shell:
% export PATH=${PATH}:/opt/nusmv-X.Y.Z/bin
设置NUSMV_LIBRARY_PATH环境变量。例如。 bash shell:
% export NUSMV_LIBRARY_PATH=/opt/nusmv-X.Y.Z/share/nusmv
现在您可以运行享受 NuSMV 了。
% NuSMV -int # to run the interactive mode