Overture Tool

Formal Modelling in VDM

Overture Tool

Go to our GitHub Profile

Follow @overturetool


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 conveniently packaged as a VSCode extension.

Tool preview

Download it here!

Overture Tool Extensions:

Cresendo Tool 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.
Symphony Tool 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.