我已经使用提供的自述文件安装了 NuSMV，但是当我尝试使用 NuSMV 命令时，我收到以下消息：-bash: NuSMV: command not found
互联网上没有太多关于此的信息，所以我会很感激任何帮助
问问题
1538 次
2 回答
1
转到我的主目录，创建一个新的 bash 配置文件并将 bin 目录附加到 NuSMV 可执行文件，使其工作正常。
于 2016-04-16T11:25:15.910 回答
0
如何让它在 MacOSX 上运行
到了这个链接： http: //nusmv.fbk.eu/
点击
NuSMV 2.6.0 已发布！
选择：NuSMV 二进制 图像
填写详细信息并注册：您将能够下载一个 zip 文件，将其解压缩并复制到您想要的任何地方。现在我们需要设置路径。
打开终端并执行以下操作：将目录 /opt/nusmv-XYZ/bin 添加到命令搜索 PATH 环境变量中。例如对于 bash shell：
% 导出 PATH=${PATH}:/opt/nusmv-XYZ/bin
设置 NUSMV_LIBRARY_PATH 环境变量。例如对于 bash shell：
% 导出 NUSMV_LIBRARY_PATH=/opt/nusmv-XYZ/share/nusmv
现在您已准备好运行并享受 NuSMV。
% NuSMV -int # 运行交互模式
于 2020-03-26T08:30:41.810 回答