現在の位置
backup プラグインを使用中
- List of Backups
- View the diff.
- View the source.
- View the backup.
- Go to インストール(Windows).
- 1 (2009-11-24 (Tue) 07:05:31)
- 2 (2009-11-24 (Tue) 09:18:44)
- 3 (2009-12-23 (Wed) 17:18:17)
- 4 (2009-12-28 (Mon) 09:39:35)
- 5 (2010-05-25 (Tue) 10:09:05)
- The added line is THIS COLOR.
- The deleted line is THIS COLOR.
* インストール・起動方法(Windows編) [#v74c145e] * 1.java,cygwinのインストール [#n152b4b0] *** 0.java,cygwinのインストール [#n152b4b0] Java SE Runtime Environment (JRE) 6 か Java SE Development Kit (JDK) 6 をインストールしてください。~ Java SE Runtime Environment (JRE) または Java SE Development Kit (JDK) の version 6 以上をインストールしてください。~ http://java.sun.com/javase/ja/6/download.html またWindowsではcygwinが必要となるので、cygwinのインストールを行ってください。~ gccが必要になるのでcygwinインストール中にdevelをチェックしてdevelのインストールも行ってください。~ gccが必要になるのでcygwinインストール中にdevelをチェックして、develのインストールも行ってください。~ http://www.cygwin.com/ *** 1.ダウンロード [#b26a00e4] zipファイルをダウンロードし、展開して下さい。 * 2.ダウンロード [#b26a00e4] [[ダウンロード]]からLaViTのzipファイルをダウンロードし、展開して下さい。 *** 2.起動 [#hd9d5be5] LMNtalEditor.jarファイルをダブルクリックして起動してください。 * 3.LTL2BAダウンロード [#ie417f46] LTL2BAはLTLモデル検査を行うときに必要となります。~ [[ここ>http://www.lsv.ens-cachan.fr/~gastin/ltl2ba/download.php]]からダウンロードしたltl2ba-1.x.tar.gzを展開してください。できたフォルダを LaViTx_y_z/lmntal/ に配置し、フォルダ名をltl2baに変更してください。~ LTLモデル検査をしない場合はLTL2BAは必要ありません。 *** 3.cygwinへのパス指定 [#pb1372d2] * 4.起動 [#hd9d5be5] LaViT.jarファイル または run.bat をダブルクリックして起動してください。 ~ ~ ~ **(補足)cygwinへのパス指定 [#pb1372d2] GUIに従ってcygwinがインストールされたディレクトリを指定してください。~ デフォルトでcygwinをインストールした場合は C:\cygwin となります。 *** 4.SLIMのインストール [#p8bdeacf] ** (補足)SLIMのインストール [#p8bdeacf] 同封されたslim.exeは動かない場合があります。~ GUIに従ってslim.exeのインストールを行ってください。