Overture Tool

Formal Modelling in VDM

Overture Tool

Go to our GitHub Profile

Follow @overturetool

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.

UPCOMING EVENT: The 15th Overture workshop

We are happy to announce the 15th Overture workshop on VDM, its foundations, tools, and applications. The workshop will take place in Newcastle, the United Kingdom. Please consider contributing.

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.