Mobius Program Verification Environment

The Mobius Program Verification Environment is integrated with Eclipse. Further information can be found on the Mobius Trac. It is open source and freely available for non-commercial use.

Delta Release - 28 November 2008

Download the Mobius PVE delta distribution for Eclipse 3.4 on the following platforms:

• Linux
• Mac OS X
• Windows

Post Installation Updates

After instllation, or if you have already installed Eclipse, please use the Mobius update site: http://kind.ucd.ie/products/opensource/Mobius/updates/ to get any last minute updates or patches to the PVE.

New features and changes in the delta release

• Integrated with JML4
• Final version of ESCJava2

See the Mobius Tools wiki for more details.

Gamma Release - 12 February 2008

Download the Mobius PVE gamma distribution for Eclipse 3.3 on the following platforms:

• Linux
• Mac OS X
• Windows

This PVE download includes an Eclipse distribution; just unzip the downloaded zipfile and then open Eclipse. There is a potential issue with the path+file name length on Windows XP breaching the 255 char limit depending on where the distribution file is unzipped (It unzips fine in the root but fails on, say, the user desktop).

If you already have Eclipse configured then you can use the Mobius update site: http://kind.ucd.ie/products/opensource/Mobius/updates/

Third Party Update Sites

• CheckStyle update site: http://eclipse-cs.sourceforge.net/update
• FindBugs update site: http://findbugs.cs.umd.edu/eclipse
• PMD update site: http://pmd.sourceforge.net/eclipse

Eclipse Workspaces

The following Eclipse workspaces are preconfigured for use with the Mobius environment:

• The Mobius developer workspace which includes Mobius source code
• The Mobius examples workspace

New Mobius developers might also need to download an archive of commonly used Java tools.

Feedback

Questions, suggestions and problem tickets can logged in the Mobius Trac.