About the Overture Project

The mission of the Overture project is twofold:

• To provide an industrial-strength tool that supports the use of precise abstract models in any VDM dialect for software development.
• To foster an environment that allows researchers and other interested parties to experiment with modifications and extensions to the tool and the different VDM dialects.

The Overture Community

The Overture tools are being developed by volunteers from industry, research scientists and students, currently from Denmark, England, The Netherlands and Japan. You can find an overview of us at our wiki page The Community.

Anyone interested (from both industry and academia) is welcome to join the project as an active member. You might be interested in contributing directly to tools building (via our Overture open source project at Github), or you may be interested in developing the formal foundations of VDM++ and Overture. If you are a student (BSc, MSc, PhD), we can provide practical and theoretical projects!

The Overture community at large (shown above at the 8th Overture workshop on language semantics, held at BCS, London in september 2010) meets together at occasional Workshops (about once per year) and monthly via on-line Netmeetings using Skype. If you want to join the project please do not hesitate to send us an e-mail.

Overture Community Process

In the tradition of open source software development, all contributions to Overture, the language definitions and other aspects, are handled through the Overture Community Process (OCP). The Language Board (LB) has elaborated on the “Initial Consideration” Phase of the OCP and this process is described as the Language Board Process (LBP) description.

Institutional support

The Overture project is supported by

Overture Users

If you wish to be added to this list, please send us a mail. You can also join a mailing list for Overture users.

This mailing list is the main channel of communication of the user community.

To post a message to this mailing list, send a mail to overture-users@overturetool.org.

To see the mailing list archives go to Overture-Users archives.

To subscribe to this mailing list please fill the subscription form.