Triple-A 1.4.1

軟體性質: 免費 ‎檔案大小: N/A
‎使用者評分: 5.0/5 - ‎1 ‎評分

關於 Triple-A

Triple-A(使用自動機進行自動分析)是一個功能齊全的庫,用於使用JAVA編寫的(有限)自動機,具有兩種強大的分析工具(處理LTL模型檢查和預導式數學),並圍繞它構建一個圖形用戶介面。