Top / インストール(Mac)
1.Xcodeのインストール †
Xcodeをインストールしてください。
2.本体ダウンロード †
ダウンロードからLaViTのzipファイルをダウンロードし、展開して下さい。
3.LT2BAダウンロード †
LTL2BAはLTLモデル検査を行うときに必要となります。
ここからダウンロードしたltl2ba-1.x.tar.gzを展開してください。できたフォルダを
LaViTx_y_z/lmntal/
に配置し、フォルダ名をltl2baに変更してください。
LTLモデル検査をしない場合はLTL2BAは必要ありません。
4.起動 †
LaViT.jarファイルをダブルクリックして起動してください。
(補足)SLIMのインストール †
同封されたslim.exeは動きません。
LaViTのGUIに従ってslimのインストールを行ってください。
Attached files
- Attach file: configure.ac 486 download
[Information]
- Related pages
- ダウンロード(1796d)