Я не могу установить NuSMV-2.6.0-win64 в ОС Windows 10. Я успешно загрузил это, но не могу установить из папки «bin», которая была извлечена.
NuSMV не устанавливается
comment
Пожалуйста, предоставьте скриншот ошибки
- person ISHIDA schedule 18.06.2017
Ответы (2)
Вам не нужно запускать установщик. Вы можете просто запустить бинарный исполняемый файл, который находится в папке bin. Если вы посмотрите в папку bin, там должен быть файл с именем nusmv-xxx-.exe, и этот файл вы можете запустить.
Кстати, вы также можете использовать плагин NuSeen в eclipse с NuSMV для удобного форматирования исходного кода и подсветки синтаксиса.
person
Niklas R.
schedule
18.06.2017
Я пробовал это, но Microsoft ответила, что файл несовместим с ОС Windows 10. Что мне делать?
- person purnachandra; 19.06.2017
@purnachandra убедитесь, что вы загрузили правильную версию архитектуры (32-битная или 64-битная). Я только что скачал 64-битный пакет, распаковал его с помощью 7-zip и запустил NuSMV в терминале в Windows 10.
- person Patrick Trentin; 20.06.2017
Я загрузил правильный NuSMV-win64, но ошибка сохраняется, возможно, это программная ошибка в ПК!
- person purnachandra; 20.06.2017
@purnachandra попробуйте скопировать и вставить
$ENV:PROCESSOR_ARCHITECTURE в power shell, что он напечатает?
- person Patrick Trentin; 20.06.2017
с помощью друга я сделал следующее: я загрузил разархивированный (NuSMV-2.6.0-win64) файл в папку на рабочем столе (SMV) и вставил файл для проверки в «корзину» файла NuSMV. Затем , с помощью команды «cmd» каталог был изменен на требуемый путь с помощью команды «Chdir». В моем случае это C:\users\dell\desktop\SMV\NuSMV-2.6.0-win64\bin>NuSMV < em>имя_файла'ENTER'. С этим файл можно было проверить в пакетном режиме, и мне это удалось.
person
purnachandra
schedule
26.06.2017
