GEECoP（受约束过程的图形编辑器和引擎）是一种以图形方式设计控制流图及其相关约束的工具。它支持创建并发事务逻辑公式和约束进程验证。
版本历史记录
- 版本 Windows 发布于 2009-09-02
若干修复和更新 - 版本 N/A 发布于 2009-09-02
软件信息
- 软件分类： 发展 > 其他
- 发布者： gecop.sf.net
- 许可： 免费
- 价格： N/A
- 版本： Array
- 适用平台： windows
GEECoP（受约束过程的图形编辑器和引擎）是一种以图形方式设计控制流图及其相关约束的工具。它支持创建并发事务逻辑公式和约束进程验证。