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

软件信息