沃特世 - 反應系統中事件的懷卡托分析工具。 該軟體將允許使用者在圖形使用者介面中創建有限狀態計算機模型,類比其執行,並將模型檢查演算法應用於它們。
版本歷史記錄
- 版本 N/A 發佈於 2011-08-12
若干修復和更新 - 版本 N/A 發佈於 2011-08-12
軟體細節
- 軟體分類: 發展 > 其他
- 發佈者: waters.sf.net
- 軟體性質: 免費
- 價格: N/A
- 版本: Array
- 作業系統: windows
沃特世 - 反應系統中事件的懷卡托分析工具。 該軟體將允許使用者在圖形使用者介面中創建有限狀態計算機模型,類比其執行,並將模型檢查演算法應用於它們。