Overture is a community-based project developing the next generation of open-source tools to support modelling and analysis in the design of computer-based systems. Overture supports VDM: The Vienna Development Method, a set of modelling techniques with a long and successful history of industrial application and research. Overture is an integrated development environment (IDE) for developing VDM models.
- Project website is: www.overturetool.org
- Project wiki: wiki.overturetool.org
- Build server: link
- Nightly builds: link
- Releases: sourceforge