NuSMV未安裝

我無法在Windows 10 OS上安裝NuSMV-2.6.0-win64.I已成功下載該文件，但無法從已解壓縮的「bin」文件夾中安裝。NuSMV未安裝

來源

2017-06-18 purnachandra

請提供錯誤截圖 – ISHIDA

您不需要運行安裝程序。您可以運行位於bin文件夾中的二進制可執行文件。如果您查看bin文件夾，應該有一個名爲nusmv-xxx-.exe的文件以及您可以運行的文件。

順便說一句，您還可以在NuMV中使用Eclipse中的NuSeen插件，以方便源格式化和語法高亮顯示。

來源

2017-06-18 16:30:42

我試過了，但微軟的迴應是該文件與Windows 10的操作系統不兼容。我該怎麼辦？ – purnachandra

@purnachandra檢查您是否下載了正確的體系結構版本（32對64位）。我剛剛下載了64位軟件包，使用7-zip解壓縮並在Windows 10終端內部執行了NuSMV。 –

我下載了正確的NuSMV-win64，但故障仍在繼續，可能是PC中的軟件錯誤！ – purnachandra

在朋友的幫助下，我做了以下操作：我在桌面文件夾（SMV）上下載瞭解壓縮（NuSMV-2.6.0-win64）文件，並將要驗證的文件粘貼到「bin」 NuSMV文件。然後，使用'cmd'命令，目錄被改變爲應用'Chdir'命令所需的路徑。在我的情況下，它是C：\ users \ dell \ desktop \ SMV \ NuSMV-2.6.0-win64 \ bin> NuSMV filename'ENTER'.With，這個文件可以在批處理模式下驗證，我成功了。

來源

2017-06-26 03:23:06 purnachandra

回答

相關問題