Analyzer Component Framework 0.1

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

關於 Analyzer Component Framework

ACF 是 編寫模型檢查器。 ACF是建立在基本觀察之上的,即大多數 模型檢查演算法獨立於用於描述的形式主義 系統。