ACF 是 編寫模型檢查器。 ACF是建立在基本觀察之上的,即大多數 模型檢查演算法獨立於用於描述的形式主義 系統。
版本歷史記錄
- 版本 0.1 發佈於 2000-03-21
若干修復和更新 - 版本 0.1 發佈於 2000-03-21
軟體細節
- 軟體分類: 教育 > 其他
- 發佈者: aiken.cs.abo.fi/acf
- 軟體性質: 免費
- 價格: N/A
- 版本: 0.1
- 作業系統: linux
ACF 是 編寫模型檢查器。 ACF是建立在基本觀察之上的,即大多數 模型檢查演算法獨立於用於描述的形式主義 系統。