![](/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 规范语言提供基本工具支持。它包括解析器、类型检查器、解释器、调试器和校验义务生成器。它由"未来日食"项目使用。