プログラム triple-a.sf.net

トリプルA(オートマトンによる自動分析)は、2つの強力な解析ツール(LTLモデルチェックとプレスバーガーの算術を扱う)と、その周りに構築されたグラフィカルユーザーインターフェイスを備えたJavaで書かれた(有限の)オートマトンのためのフル機能のライブラリです。