開發者 www.overturetool.org

Overture 專案正在開發一組開源 Eclipse 外掛程式，以支援各種 VDM 建模工具的整合（維也納開發方法）。其目的是為所有現有的 VDM 工具和語言方言提供支援。