Program menurut www.overturetool.org

Proyek Overture sedang mengembangkan satu set plug-in Eclipse open source untuk mendukung integrasi berbagai alat pemodelan VDM (Vienna Development Method). Tujuannya adalah untuk memberikan dukungan untuk semua alat VDM dan