VDMJ 為用 JAVA 編寫的 VDM-SL、VDM+ 和 VDM-RT 規範語言提供基本工具支援。它包括解析器、類型檢查器、解釋器、調試器和校驗義務生成器。它由"未來日食"專案使用。
版本歷史記錄
- 版本 N/A 發佈於 2011-06-24
- 版本 Jars 發佈於 2011-03-14
若干修復和更新
軟體細節
- 軟體分類: 圖形應用 > 其他
- 發佈者: sf.net/projects/vdmj/
- 軟體性質: 免費
- 價格: N/A
- 版本: Array
- 作業系統: windows
VDMJ 為用 JAVA 編寫的 VDM-SL、VDM+ 和 VDM-RT 規範語言提供基本工具支援。它包括解析器、類型檢查器、解釋器、調試器和校驗義務生成器。它由"未來日食"專案使用。