Atur cara mengikut www.overturetool.org

Projek Overture sedang membangunkan satu set plug-in Eclipse sumber terbuka untuk menyokong integrasi pelbagai alat pemodelan VDM (Kaedah Pembangunan Vienna). Tujuannya adalah untuk memberi sokongan kepada semua alat VDM sedi