我已经使用提供的自述文件安装了NuSMV，但是当我尝试使用NuSMV命令时，我收到以下消息： -bash：NuSMV：找不到命令
互联网上没有关于此的信息，所以我很感激任何帮助
答案 0 :(得分：0)
转到我的主目录，并创建一个新的bash配置文件并使用NuSMV可执行文件附加bin目录使其工作正常。
答案 1 :(得分：0)
如何使其在MacOSX上运行
获取此链接：http://nusmv.fbk.eu/
点击
NuSMV 2.6.0已用完！
选择：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＃以运行交互模式
