开发者 www.overturetool.org

Overture 项目正在开发一组开源 Eclipse 插件，以支持各种 VDM 建模工具的集成（维也纳开发方法）。其目的是为所有现有的 VDM 工具和语言方言提供支持。