โปรแกรมตาม www.overturetool.org

โครงการ Overture กําลังพัฒนาชุดปลั๊กอิน Eclipse โอเพ่นซอร์สเพื่อสนับสนุนการรวมเครื่องมือสร้างแบบจําลอง VDM ต่างๆ (วิธีการพัฒนาเวียนนา) จุดมุ่งหมายคือการให้การสนับสนุนสําหรับเครื่องมือ VDM ที่มีอยู่ทั้งหมดและภาษาถิ่น