ホーム
Windows
Mac
Linux
Android
iOS
ソフトウェアの提出
プログラム ermt.sf.net
ER Model Transformation
無料
エンティティとリレーションシップは、ユーザー定義の型として指定されます。PVS証明ツールを使用します。検証では、型チェッカーによって自動的に生成されるタイプの正確性条件を証明します。