Triple-A 1.4.1

ライセンス: 無料 ‎ファイルサイズ: N/A
‎ユーザー評価: 5.0/5 - ‎1 ‎投票

トリプル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