トリプルA(オートマトンによる自動分析)は、2つの強力な解析ツール(LTLモデルチェックとプレスバーガーの算術を扱う)と、その周りに構築されたグラフィカルユーザーインターフェイスを備えたJavaで書かれた(有限の)オートマトンのためのフル機能のライブラリです。
バージョン履歴
- バージョン 1_2_5_5 に転記 2011-04-18
いくつかの修正と更新 - バージョン 1.4.1 に転記 2007-05-13
プログラムの詳細
- カテゴリ: 開発 > 他
- パブリッシャー: triple-a.sf.net
- ライセンス: 無料
- 価格: N/A
- バージョン: 1.4.1
- プラットフォーム: windows