开发者 triple-a.sf.net

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