首页
PC软件
Mac软件
Linux软件
安卓应用
苹果应用
提交软件
开发者 ermt.sf.net
ER Model Transformation
免费
实体和关系指定为用户定义的类型。我们将使用 PVS 证明工具。验证涉及验证类型正确性条件,该条件由类型检查器自动生成。