一个解析、类型检查、测试和发布 VDM 规范的 Gradle 插件。

一个从 VDM 规范的结构中生成存根类的 Gradle 插件。