Overview

The Overture community supports the modelling method The Vienna Development Method (VDM) which is a set of modelling techniques that have a long and successful history in both research and industrial application in the development of computer-based systems.

The Overture Tool is an open-source integrated development environment (IDE) for developing and analysing VDM models. The tool suite is written entirely in Java and built on top of the Eclipse platform.

Tool preview


The current stable version is 2.3.0 (May 2014) which you can download here.

Are you a Visual Studio Code user? Try out the new VDM VSCode extension (here)

Overture Tool Extensions:


	The Cresendo Tool uses the Overture platform and Controllab's 20-sim to perform co-simulations that can be used in the analysis and development of cyber-physical systems.
	The Symphony Tool extends part of the Overture Tool in order to support the CML language, which is aimed at describing and analysing Systems of Systems.