2017-06-18 28 views
0

Windows 10 OSにNuSMV-2.6.0-win64をインストールすることはできません。これは正常にダウンロードされましたが、抽出された 'bin'folderからはインストールできません。NuSMVがインストールされていません

+0

エラースクリーンショットを提供してください – ISHIDA

答えて

0

インストーラを実行する必要はありません。 binフォルダにあるバイナリ実行可能ファイルを実行するだけです。 binフォルダを見ると、nusmv-xxx-.exeという名前のファイルと実行できるファイルがあるはずです。

また、NuSMVでNuSeenプラグインを使用して、便利なソース書式設定と構文の強調表示を行うこともできます。

+0

私はこれを試しましたが、マイクロソフトからの応答は、ファイルがWindows 10であるOSと互換性がないということです。何ができますか? – purnachandra

+0

@purnachandra正しいアーキテクチャのバージョン(32対64ビット)をダウンロードしたことを確認してください。私はちょうど64ビットパッケージをダウンロードし、7-zipで解凍し、Windows 10のターミナル内でNuSMVを実行しました。 –

+0

正しいNuSMV-win64をダウンロードしましたが、フォールトは持続しています。 – purnachandra

0

友人の助けを借りて、以下のようにしました。デスクトップのフォルダ(SMV)に解凍された(NuSMV-2.6.0-win64)ファイルをダウンロードし、検証するファイルを貼り付けました。 NuSMV file.Then、 'cmd'コマンドを使用して、ディレクトリは、 'Chdir'コマンドを適用する必要なパスに変更されました。私の場合は、C:\ users \ dell \ desktop \ SMV \ NuSMV-2.6.0-win64 \ bin> NuSMV ファイル名 'ENTER'。これで、ファイルはバッチモードで確認でき、正常に実行されました。

関連する問題