Top / インストール(Linux)
1.javaのインストール †
Java SE Runtime Environment (JRE) または Java SE Development Kit (JDK) の version 6 以上をインストールしてください。
http://java.sun.com/javase/ja/6/download.html
2.本体ダウンロード †
ダウンロードからLaViTのzipファイルをダウンロードし、展開して下さい。
3.LTL2BAダウンロード †
LTL2BAはLTLモデル検査を行うときに必要となります。
ここからダウンロードしたltl2ba-1.x.tar.gzを展開してください。できたディレクトリを
LaViTx_y_z/lmntal/
に配置し、ディレクトリ名をltl2baに変更してください。
LTLモデル検査をしない場合はLTL2BAは必要ありません。
4.起動 †
展開したディレクトリ内で
java -jar LaViT.jar
とコマンドを実行してください。
(補足)SLIMのインストール †
同封されたslim.exeは動きません。
LaViTのGUIに従ってslimのインストールを行ってください。
もしgccがインストールされていないようでしたらgccのインストールも行ってください。
gccをインストールしたのに(error: C compiler cannot create executables)と出る場合は
libc-develかlibc6-devのインストールも行ってください。
- Related pages
- ダウンロード(1796d)