Downloads

The Overture Project consists of multiple tools, both standalone and Eclipse based, built to run with Java 1.5 or later. All tools are released under the GNU Public Licence (GPLv3).

Overture IDE

The Overture IDE is a preloaded Eclipse with the Overture IDE plugins. It can be downloaded from our Source Forge download area: Download area

The IDE includes features like:

Features:

• Outline
• Syntax highlighting
• Debug with breakpoints (VDMJ, VDMTools)
  • Breakpoints
  • Conditional breakpoints
  • Debugging of sequential models
• Combinatorial testing
• UML transformation beta version

Downloads of Overture Eclipse demo workspace

A demo workspace is available for the IDE at the IDE download area.

Overture Standalone

As well as an Eclipse plug-in, the underlying Overture Java VDM engine is available as a standalone command line tool. This does not have the ease of use of a graphical IDE, but it is convenient for automatically running batches of tests. It has all of the functionality of the Eclipse plug-in (parsing/checking, debugging, PO generation, etc.). Refer to the User Guide for usage.

• The standalone VDM engine is called "VDMJ". It was developed, and released under GPLv3, by Fujitsu Services.

• Similarly, the Overture combinatorial testing feature is available as a standalone tool.

All standalone programs can be downloaded from the standalone download area at Source Forge

Bug Tracker

If any bugs is discovered please add a bug report in the bug tracker listed below:

• Bug Tracker

-- KennethLausdahl - 10 Oct 2009