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.

Epsilon Release - Coming in Q4 2009

We hope to ship the Epsilon release soon!

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 installation, 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. The current contents of the update site as of late 2009 is a test release of the upcoming Epsilon release of the PVE.

Note that there is known issue in that the ESCJava2 plugin does not run in all Eclipse configurations, although it does appear to run correctly in the pre-packaged PVE. We are working on fixes now.

New features and changes in the Delta release

• Integrated with JML2
• 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

Installing the Mobius PVE feature automatically adds several third part update sites to your Eclipse's configuration. Some of these update sites and tools include:

• 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.