编程语言和工具允许：为Java、C#、C++,..;验证代码正确性和形式属性。其目的是允许组件的最大可重复性（不依赖于语言），以及证明它们的正确性。
版本历史记录
- 版本 N/A 发布于 2011-08-09
若干修复和更新 - 版本 N/A 发布于 2011-08-09
软件信息
- 软件分类： 发展 > 其他
- 发布者： guml.sf.net
- 许可： 免费
- 价格： N/A
- 版本： Array
- 适用平台： windows
编程语言和工具允许：为Java、C#、C++,..;验证代码正确性和形式属性。其目的是允许组件的最大可重复性（不依赖于语言），以及证明它们的正确性。