我必须在我的 Mac 上安装 NuSMV，但我不知道如何安装它。NuSMV 网站上有两个文件，一个是 SourceCode，另一个是二进制文件。我应该安装哪一个？在选择我应该做什么之后，我应该遵循 readme.txt 还是什么？任何帮助将不胜感激，因为互联网上没有太多关于 Mac 的 NuSMV 安装的帮助。PS :- 我已经尝试安装源代码部分并根据 readme.txt 安装它，但我不知道我缺少什么，因为我也不知道运行 smv 文件的程序是什么。
我必须在我的 Mac 上安装 NuSMV，但我不知道如何安装它。NuSMV 网站上有两个文件，一个是 SourceCode，另一个是二进制文件。我应该安装哪一个？在选择我应该做什么之后，我应该遵循 readme.txt 还是什么？任何帮助将不胜感激，因为互联网上没有太多关于 Mac 的 NuSMV 安装的帮助。PS :- 我已经尝试安装源代码部分并根据 readme.txt 安装它，但我不知道我缺少什么，因为我也不知道运行 smv 文件的程序是什么。