实体和关系指定为用户定义的类型。我们将使用 PVS 证明工具。验证涉及验证类型正确性条件,该条件由类型检查器自动生成。
版本历史记录
- 版本 N/A 发布于 2010-03-12
若干修复和更新 - 版本 N/A 发布于 2010-03-12
软件信息
- 软件分类: 网络与互联网 > 其他
- 发布者: ermt.sf.net
- 许可: 免费
- 价格: N/A
- 版本: Array
- 适用平台: windows
实体和关系指定为用户定义的类型。我们将使用 PVS 证明工具。验证涉及验证类型正确性条件,该条件由类型检查器自动生成。