BR-BMC 軟體性質: 免費 檔案大小: N/A 使用者評分: 4.5/5 - 2 評分 點擊下載 使用 ACTL 的有界模型檢查實現信念修訂演算法 版本歷史記錄 版本 N/A 發佈於 2011-07-24若干修復和更新 版本 N/A 發佈於 2011-07-24 軟體細節 軟體分類: 網路與互聯網 > 其他 發佈者: br-bmc.sf.net 軟體性質: 免費 價格: N/A 版本: Array 作業系統: linux