Programy według www.overturetool.org

W ramach projektu Overture powstaje zestaw wtyczek Eclipse open source wspierających integrację różnych narzędzi do modelowania VDM (Vienna Development Method). Celem jest zapewnienie obsługi wszystkich istniejących narzędzi