GEECoP

许可: 免费 ‎文件大小: N/A
‎用户评分: 3.8/5 - ‎2 ‎评分

GEECoP(受约束过程的图形编辑器和引擎)是一种以图形方式设计控制流图及其相关约束的工具。它支持创建并发事务逻辑公式和约束进程验证。

版本历史记录

  • 版本 Windows 发布于 2009-09-02
    若干修复和更新
  • 版本 N/A 发布于 2009-09-02

软件信息