The Overture IDE is an open source integrated development environment for VDM and supports the dialects:

• VDM-SL: VDM Specification Language
• VDM-PP: VDM Object oriented.
• VDM-RT: VDM Real-Time

It has a multi-level architecture that splits the system into three main components: core tools, IDE plugins and supporting tools. Then each component is in turn subdivided into functional components that implement things like VDM to UML and JML transformations, verification through proof support, etc. Several of the core components were modeled and validated using VDM and then automatically translated to Java using the code generator provided in the VDMTools.



The Overture IDE is developed by volunteers, university professors, researcher scientists, students and industry practitioners from Japan, the Netherlands, Portugal and  the UK.
Every year the Overture community offers students (BSc, MSc, PhD) the opportunity to work on interesting practical and theoretical projects. These projects can range from software modeling and verification in VDM, tool building to the formal foundations of VDM++ and Overture.