index.md

layout	title
default	Overview

<script src="https://code.jquery.com/jquery-1.11.1.min.js"> </script> <script src="javascripts/moment-with-langs.js"></script> <script src="javascripts/github-releases.js"></script> <script>updateFrontPage();</script>

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


[Download it here!]({{ site.url }}/download/)

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.