Мне нужно установить NuSMV на мой Mac, и я не знаю точно, как его установить. На веб-сайте NuSMV доступны два файла, один - SourceCode, а другой - двоичный. Какой из них я должен установить? И после выбора, что я должен делать, Как я должен следовать readme.txt или что? Буду признателен за любую помощь, так как в интернете не так много помощи относительно установки NuSMV для Mac. PS: - Я уже пытался установить часть исходного кода и установил ее в соответствии с readme.txt, но я не знаю, что мне не хватает, так как я также не знаю, какова процедура для запуска файла smv.