LaViT: インストール(Windows)

Top / インストール(Windows)

1.java,cygwinのインストール †

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のインストールも行ってください。
http://www.cygwin.com/

ダウンロードからLaViTのzipファイルをダウンロードし、展開して下さい。

LTL2BAはLTLモデル検査を行うときに必要となります。
ここからダウンロードしたltl2ba-1.x.tar.gzを展開してください。できたフォルダを

LaViTx_y_z/lmntal/

に配置し、フォルダ名をltl2baに変更してください。
LTLモデル検査をしない場合はLTL2BAは必要ありません。

LaViT.jarファイルまたは run.bat をダブルクリックして起動してください。

GUIに従ってcygwinがインストールされたディレクトリを指定してください。
デフォルトでcygwinをインストールした場合は

C:\cygwin

となります。

同封されたslim.exeは動かない場合があります。
GUIに従ってslim.exeのインストールを行ってください。