實體和關係指定為使用者定義的類型。我們將使用 PVS 證明工具。驗證涉及驗證類型正確性條件，該條件由類型檢查器自動生成。
版本歷史記錄
- 版本 N/A 發佈於 2010-03-12
若干修復和更新 - 版本 N/A 發佈於 2010-03-12
軟體細節
- 軟體分類： 網路與互聯網 > 其他
- 發佈者： ermt.sf.net
- 軟體性質： 免費
- 價格： N/A
- 版本： Array
- 作業系統： windows
實體和關係指定為使用者定義的類型。我們將使用 PVS 證明工具。驗證涉及驗證類型正確性條件，該條件由類型檢查器自動生成。