Document Actions
インストールまで
まずはインストールしてみましょう．
LTSA(Labelled Transition System Analyser) とは
モデル検査器のひとつです．FSP で記述した式から LTS を生成して，イベントが起こるとどの状態に遷移するか手動で動かしてみることができるツールです．FSP と LTS についてはこちらを参考に．
インストール方法
LTSA 公式サイトからダウンロードして解凍すればインストール完了です．
起動
解凍したディレクトリの中の ltsa.jar を実行してください．実行には Java が必要です．