Syspect 是一種工具,用於使用 UML2 圖來指定系統並將其轉換為 CSP-OZ-DC 規範以進行正式驗證。
版本歷史記錄
- 版本 1.5.0 發佈於 2010-05-11
若干修復和更新 - 版本 1.5.0 發佈於 2010-05-11
軟體細節
- 軟體分類: 教育 > 其他
- 發佈者: syspect.informatik.uni-oldenburg.de
- 軟體性質: 免費
- 價格: N/A
- 版本: 1.5.0
- 作業系統: windows
Syspect 是一種工具,用於使用 UML2 圖來指定系統並將其轉換為 CSP-OZ-DC 規範以進行正式驗證。