Downloads

Hint: You will need a Java runtime environment (JRE) to use Overture (Java SE 6 or greater is recommended). All downloads are provided under the terms and conditions of the Eclipse Foundation Software User Agreement unless otherwise specified.

Release History

Support

In case you experience problems, there are two options for you to get support, directly from the Overture developers. You can either post a question on the StackOverflow with the VDM++ tag or send us an e-mail. In your message, please include information on the host operating system you are using (for example: Windows XP SP3, 32-bit), the Java JRE version you have installed (include the output of “java -version”) and the name of the Overture installation package that you have downloaded. If you believe that you have found a real bug in the Overture Tool, please submit it here.  You can browse the open issue list, to check whether your problem has already been raised by someone else.