Windows 10 OSにNuSMV-2.6.0-win64をインストールすることはできません。これは正常にダウンロードされましたが、抽出された 'bin'folderからはインストールできません。NuSMVがインストールされていません
答えて
インストーラを実行する必要はありません。 binフォルダにあるバイナリ実行可能ファイルを実行するだけです。 binフォルダを見ると、nusmv-xxx-.exe
という名前のファイルと実行できるファイルがあるはずです。
また、NuSMVでNuSeenプラグインを使用して、便利なソース書式設定と構文の強調表示を行うこともできます。
私はこれを試しましたが、マイクロソフトからの応答は、ファイルが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'。これで、ファイルはバッチモードで確認でき、正常に実行されました。
- 1. Microsoft.EntityFrameworkCore.Designがインストールされていません
- 2. package.initがインストールされていません
- 3. qmlviewerがインストールされていません
- 4. MVCがインストールされていません
- 5. Dplyrがインストールされていません
- 6. LWAPlugin64BitInstaller32がインストールされていません
- 7. オートメーションサーバーがインストールされていません
- 8. スウィフトプレイグラウンドがインストールされていません
- 9. アプリケーションがインストールされていません
- 10. Silverlightがインストールされていません
- 11. Pywin32がインストールされていません
- 12. ohmyzshのインストール要求zshがインストールされていません
- 13. Android Appをインストールする "アプリケーションがインストールされていません"
- 14. 指定されたプラットフォームツールセット(v110)がインストールされていません
- 15. インストールされているnpmモジュールが表示されません
- 16. Postgres.appがインストールされていますが動作しません
- 17. mod_rewriteがインストールされていますが、動作しません。
- 18. Joomlaプラグインが実行されていません(インストールされています)
- 19. Xamarinエラー:いいえAndroidプラットフォームがインストールされていません
- 20. rubyMineのインストール中にSDKが指定されていませんが、リストされていません
- 21. フラスコがインストールされていても輸入されていません
- 22. SDK /ターゲットベットが「アプリケーションがインストールされていません」
- 23. npmピアが必要ですがインストールされていません
- 24. ptyモジュールがインストールされていてもインポートできません
- 25. unity 5.4 apkがインストールされていても開けません。
- 26. sockが黙ってインストールされていません
- 27. すべてのコンテンツファイルがインストールされていません
- 28. PhoneGapがVisualstudioまたはnode.jsにインストールされていません
- 29. Clickonce - 参照されているアセンブリがシステムにインストールされていません
- 30. インストールされているアプリケーションがWindows 10にアンインストールされていません。
エラースクリーンショットを提供してください – ISHIDA