Overture
We support a range of modelling tools and techniques underpinned by Overture, a tool designed to support modelling in the VDM (Vienna Development Method) modelling notation. The Overture tool is an open-source integrated development environment for developing and analysing VDM models, written in Java and built on top of the Eclipse platform.
Overture forms the basis of several other toolsuites that provide support for a range of modelling scenarios, including the Crescendo toolsuite and the Symphony toolsuite described on these pages.
Read more about Overture, and download the Overture VDM modelling tool, at the Overture Community homepage.
