使用NuSMV解決過河問題

使用NuSMV做形式化驗證 NuSMV的安裝 在 http://nusmv.fbk.eu/bin/bin_download2-v2.cgi 頁面下載合適的二進制可運行版本即可。 在本報告中，本人下載了 http://nusmv.fbk.eu/distrib/NuSMV-2.6.0-win64.tar.gz 文件。 解壓後，即可得到具有如下目錄的文件夾： 在bin目錄下有可執行文件nusmv.exe

>>阅读原文<<