Triple-A-开源

【文件属性】：

文件名称：Triple-A-开源

文件大小：3.15MB

文件格式：ZIP

更新时间：2024-05-17 12:44:31

开源软件

Triple-A（带有自动机的自动分析）是使用Java编写的（有限）自动机的全功能库，它具有两个强大的分析工具（处理LTL模型检查和Presburger算术）和围绕它构建的图形用户界面。