Я тщетно искал, как запустить NuSMV в Ubuntu 16.04. Я установил двоичные файлы NuSMV, у меня есть исполняемый файл NuSMV в папке bin, но он не запускается. Я набираю NuSMV -help, но cmd сообщает NuSMV:command not foundЛюбая идея о том, как запустить NuSMV / или есть что-то вроде установки, которую я пропускаю?