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 规范以进行正式验证。