Chương trình theo www.overturetool.org

Dự án Overture đang phát triển một tập hợp các plug-in Eclipse mã nguồn mở để hỗ trợ tích hợp các công cụ mô hình hóa VDM khác nhau (Phương pháp phát triển Vienna). Mục đích là để cung cấp hỗ trợ cho tất cả các công cụ VDM hi