NuSMVがインストールされていません

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

出典

2017-06-18 purnachandra

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

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

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

出典

2017-06-18 16:30:42

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

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

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

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

出典

2017-06-26 03:23:06 purnachandra

NuSMVがインストールされていません

答えて

関連する問題