0

GNuSMV Web サイトからユーザー インターフェイスを使用して NuSMV チェッカーをインストールしようとしています。すべての手順を適用しましたが、正しく動作しませんでした。私の64ビットラップトップ、Windows 10でユーザーインターフェイスを使用してNuSMVを実行するのを手伝ってくれる人はいますか?

前もって感謝します

4

0 に答える 0