WATERS

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

沃特世 - 反應系統中事件的懷卡托分析工具。 該軟體將允許使用者在圖形使用者介面中創建有限狀態計算機模型,類比其執行,並將模型檢查演算法應用於它們。

版本歷史記錄

  • 版本 N/A 發佈於 2011-08-12
    若干修復和更新
  • 版本 N/A 發佈於 2011-08-12

軟體細節