Syspect 1.5.0

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

Syspect 是一種工具,用於使用 UML2 圖來指定系統並將其轉換為 CSP-OZ-DC 規範以進行正式驗證。

版本歷史記錄

  • 版本 1.5.0 發佈於 2010-05-11
    若干修復和更新
  • 版本 1.5.0 發佈於 2010-05-11

軟體細節