-1
NuSMV Webサイトからファイルをダウンロードしましたが、実際にはシステム上でアプリケーションを実行できません。どんなリードも高く評価されます。WindowsでNuSMV 2.6を実行しています
ファイルは、フォルダ含まれています - ビン、libに、シェアを、あなたはコマンドライン上でそれを実行する必要があります
A
答えて
0
が含まれます。/binに
オープンCMDおよびコマンドNuSMV.exe filename.smv
コマンドラインオプションを探索を実行し、あなたはしかし、あなたは「私は実際にアプリケーションを実行することはできません」*
関連する問題
- 1. Windows上にNuSMV 2.6ツールをインストールする64bit
- 2. MonoDevelop 2.6でXSP4を実行しています
- 3. Python 2.6でPanda3Dを実行
- 4. 同じマシン上でPython 2.6と3.1の両方を実行しています
- 5. PlayFramework 2.6.x - アプリケーションスタートアップコードを実行
- 6. は、resharper 6.1.1でnunit 2.6を実行できますか？
- 7. NuSMVがインストールされていません
- 8. Linux、Windowsで実行しているアセンブリ
- 9. postman（play framework 2.6）を使用してlocalhost POSTコールを実行できません
- 10. Windowsでmongrel_rails cluster :: startを実行しています
- 11. WindowsのNode.jsでExpresso TDDを実行しています
- 12. Jenkins（Windows OS）上でヘッドレスFirefox WebDriverを実行しています
- 13. WindowsセーフモードでSQL Server 2005を実行しています
- 14. JuliaでWindowsシェルコマンドを実行しています
- 15. DockerコンテナでWindows Server Coreを実行しています
- 16. WindowsでApacheドリルクラスタを実行していますか？
- 17. Windowsでspring-boot webappを実行しています
- 18. Windows（MinGW）でオートツールを実行しています
- 19. Windows上のFabricでlocal（）コマンドを実行しています
- 20. Windowsで長期実行コンソールアプリケーションをホストしていますか？
- 21. WindowsでApache kafkaを実行しています
- 22. Python 3をWindows 8のコンピュータで実行しています
- 23. Windowsサーバでjetty + solrを実行しています
- 24. Windows 2008サーバーでaspnet_setreg.exeを実行しています
- 25. Apache2とPython 2.6を使用しているWindowsのmod_wsgi
- 26. Pyodbcエラー - 私は、Windows 7上で実行しています
- 27. JavaのモデルチェッカーとしてNuSMVを採用
- 28. MapGuide 2.6 with IIS with Windows 10
- 29. 2008R2でmongos Route ServerをWindowsサービスとして実行していますか？
- 30. CygwinからWindowsネイティブコマンド（VOLなど）を実行しています
に必要な、それを使用することができます*非常に**漠然とした**問題の説明です：あなたは何かエラーを取得していますか、または単にツールの使い方を知らないのですか？お試ししたことをお見せし、結果をご記入ください。 –