首頁
PC軟體
Mac軟體
Linux軟體
Android App
iOS App
提交軟體
開發者 ermt.sf.net
ER Model Transformation
免費
實體和關係指定為使用者定義的類型。我們將使用 PVS 證明工具。驗證涉及驗證類型正確性條件,該條件由類型檢查器自動生成。