Как правильно установить NuSMV, поскольку при загрузке файл bin не содержит файла .exe? - PullRequest
Новая
       133

Как правильно установить NuSMV, поскольку при загрузке файл bin не содержит файла .exe?

0 голосов
/ 06 мая 2020

Я следую руководству по установке NuSMV на Windows 10. Он загружается нормально, но после извлечения файлов из заархивированной (.tar) папки я не нахожу файл .exe в папке «bin», который должен быть там (конечно). Я скачиваю его с сайта NuSMV. Что я делаю не так?

1 Ответ

0 голосов
/ 06 мая 2020

Чтобы использовать NuSMV на Windows, необходимо

  • перейти по этой ссылке ,

  • заполнить следующую форму

    enter image description here

  • щелкните Register или Do not register в зависимости от их предпочтений

  • выберите правильную ссылку для загрузки из страницы, которая автоматически открывается после последнего шага

    (для Windows это будет Windows Архив 64-бит (x86) .)

    enter image description here

  • распакуйте загруженный файл, который показывает NuSMV.exe внутри подкаталога bin:

    enter image description here

  • перейдите в такой каталог в терминале и выполните следующую команду: 

    ~$ ./NuSMV.exe -int
*** This is NuSMV 2.6.0 (compiled on Wed Oct 14 15:37:51 2015)
*** Enabled addons are: compass
*** For more information on NuSMV see <http://nusmv.fbk.eu>
*** or email to <nusmv-users@list.fbk.eu>.
*** Please report bugs to <Please report bugs to <nusmv-users@fbk.eu>>

*** Copyright (c) 2010-2014, Fondazione Bruno Kessler

*** This version of NuSMV is linked to the CUDD library version 2.4.1
*** Copyright (c) 1995-2004, Regents of the University of Colorado

*** This version of NuSMV is linked to the MiniSat SAT solver. 
*** See http://minisat.se/MiniSat.html
*** Copyright (c) 2003-2006, Niklas Een, Niklas Sorensson
*** Copyright (c) 2007-2010, Niklas Sorensson

NuSMV >

Q: Я выполнил инструкции, но исполняемого файла нет, что должно Да? Вы можете проверить, помещает ли ваша антивирусная программа исполняемый файл в карантин. н. э.

...