Triple-A(使用自動機進行自動分析)是一個功能齊全的庫,用於使用JAVA編寫的(有限)自動機,具有兩種強大的分析工具(處理LTL模型檢查和預導式數學),並圍繞它構建一個圖形用戶介面。
版本歷史記錄
- 版本 1_2_5_5 發佈於 2011-04-18
若干修復和更新 - 版本 1.4.1 發佈於 2007-05-13
軟體細節
- 軟體分類: 發展 > 其他
- 發佈者: triple-a.sf.net
- 軟體性質: 免費
- 價格: N/A
- 版本: 1.4.1
- 作業系統: windows
Triple-A(使用自動機進行自動分析)是一個功能齊全的庫,用於使用JAVA編寫的(有限)自動機,具有兩種強大的分析工具(處理LTL模型檢查和預導式數學),並圍繞它構建一個圖形用戶介面。