エンティティとリレーションシップは、ユーザー定義の型として指定されます。PVS証明ツールを使用します。検証では、型チェッカーによって自動的に生成されるタイプの正確性条件を証明します。
バージョン履歴
- バージョン N/A に転記 2010-03-12
いくつかの修正と更新 - バージョン N/A に転記 2010-03-12
プログラムの詳細
- カテゴリ: ネットワークとインターネット > 他
- パブリッシャー: ermt.sf.net
- ライセンス: 無料
- 価格: N/A
- バージョン: Array
- プラットフォーム: windows