開發者 waters.sf.net

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