![](/statics/img/blank.png)
VDMJ
軟體性質: 免費 檔案大小: N/A
使用者評分: 4.0/5 - 1 評分
請稍候,您的下載連結正在檢測惡意內容。
您將能夠在 5 秒內下載。
您將能夠在 5 秒內下載。
關於 VDMJ
VDMJ 為用 JAVA 編寫的 VDM-SL、VDM+ 和 VDM-RT 規範語言提供基本工具支援。它包括解析器、類型檢查器、解釋器、調試器和校驗義務生成器。它由"未來日食"專案使用。
VDMJ 為用 JAVA 編寫的 VDM-SL、VDM+ 和 VDM-RT 規範語言提供基本工具支援。它包括解析器、類型檢查器、解釋器、調試器和校驗義務生成器。它由"未來日食"專案使用。