Overture
This site provides information on Overture: a community-based project developing the next generation of tools to support modelling and analysis in the design of computer-based systems. Overture supports the VDM: The Vienna Development Method, a set of modelling techniques with a long and successful history of industrial application and research.