Triple-A 1.4.1

许可: 免费 ‎文件大小: N/A
‎用户评分: 5.0/5 - ‎1 ‎评分

关于 Triple-A

Triple-A(使用自动机进行自动分析)是一个功能齐全的库,用于使用Java编写的(有限)自动机,具有两种强大的分析工具(处理LTL模型检查和预导式数学),并围绕它构建一个图形用户界面。