ProgramVerificationEnvironment

Downloading

The Mobius PVE can be downloaded from [http://kind.ucd.ie/products/opensource/Mobius/]

Contents

Gamma Release

The gamma release contains the following Mobius plugins and features:

• Coq Editor plugin 0.9.4
• ETHZ JML Plugin 1.0.4
• ESC/Java2 feature 2.0.7
• Javafe plugin 2.0.8
• Simplify feature 1.5.6
• Prover Editor Feature 0.9.7
• Umbra plugin 1.0.2

and the following third-party plugins and features:

• BCEL feature 1.0.0
• FindBugs feature 1.2.1.20070531
• PMD feature 3.2.4v200712041040

Sample Workspace

The sample workspace contains the following projects and files:

• ESCJava2 plugin demo
• ETAPS Tutorial demo
• Bill.java
• Bag0.java

Version: 13 Time: Mon Feb 11 13:50:24 2008 Author: dcochran (dcochran) IP: 193.1.132.32