Как установить и запустить NuSMV на Mac?

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