| | トリプルA.Javaで書かれた（有限）オートマトンのフル機能図書館 |
| 今すぐダウンロード | |
トリプルA. ランキングとまとめ
広告
- ライセンス:
- Freeware
- 価格:
- FREE
- 出版社名:
- Markus Strauch
- 出版社のWebサイト:
- オペレーティングシステム:
- macOS
- ファイルサイズ:
- 3.1 MB
トリプルA. タグ
トリプルA. 説明
Javaで書かれた（有限）オートマトン用フル機能図書館 トリプルA（Automataを使った自動分析）は、2つの強力な分析ツール（LTLモデルチェックとプレスバーガー算術演算を扱う）とそれを中心に構築されたグラフィカルユーザーインターフェースを持つJavaで書かれた（有限）オートマトンのフル機能のライブラリです。 要件： ・Java 1.5以降
トリプルA. 関連ソフトウェア
