This wiki provides documentation and discussion forums for users and developers of the Overture toolset, an open source Eclipse-based environment for developing computer-based systems. Overture supports the VDM notation and methods.
