Downloading Other Tools for JML
Aside from the Common (formerly ISU) JML tools (see below), other tools for JML can be obtained from the page of others working on JML tools. In particular:
- ESC/Java2 can be downloaded by following the instructions on the ESC/Java2 download web page.
- The ESC/Java2 plugin for Eclipse can be obtained or updated from inside Eclipse, using its update site: http://sort.ucd.ie/www/escjava-eclipse/updates. See also the detailed instructions on installing the ESC/Java2 plugin.
- The JML plugin for Eclipse can be gotten from its download page.
- The JACK: Java Applet Correctness Kit environment can be obtained from its download page.
- Daikon can be downloaded from the Daikon download page.
- KeY can be downloaded from the KeY Project download page. (See the KeY Quicktour for JML.)
- AutoJML is a tool for the generation of JML specifications from state diagrams in various formats (incl. UML diagrams) and from security protocol specifications.
- JForge, a front-end to the Forge bounded verification library, automatically analyzes Java code against full JML specifications.
Downloading the Common (formerly ISU) JML Tools
The Common (formerly ISU) JML tools release is currently in beta-test. It runs on any platform that has J2SDK 1.4.1 or J2SDK 1.4.2. We have tested it on Red-Hat Linux, Windows XP, and Mac OSX.
You can get the latest release of the Common JML tools by following the steps below.
- Fetch the release from the following URL http://sourceforge.net/projects/jmlspecs/ or more directly from http://sourceforge.net/project/showfiles.php?group_id=65346. (If those links are down, you can also download the Common JML tools from http://www.jmlspecs.org/OldReleases/.) You will be getting a gzipped tar file, such as JML.5.2.tar.gz.
-
You now have the gzipped tar archive.
Under Windows, use Winzip or some similar program to extract it to some directory of your choice. For example, use Winzip to extract it to c:\.
On Unix, you might use the following commands to untar it, after saving it to /usr/local/JML.tgz.cd /usr/local tar -xzvf JML.5.2.tar.gz
- Now, using a web browser, read the file JML/README.html in what you just unpacked for further instructions.
If you have trouble with these instructions, please file a support request through the sourceforge.net support tracker interface so we can try to help you. (You have to get a sourceforge.net login first, but that just allows us to contact you. To get a login, use the 'New User via SSL' link, located near the top of the left navigation bar on the SourceForge.net site.)
We are also interested in your feedback on JML: things you like, don't like, find confusing, etc. Since JML is open source, we'd appreciate it if you'd send us any bug fixes or enhancements you are willing to share with others. See the sourceforge.net tracker interface for places to file bug reports, support requests, patches, and feature requests for JML and its tools.
After installation, please either register with sourceforge to be notified of future file releases for JML (by clicking on the little envelope in the file section of the sourceforge project page, or if you don't have a sourceforge.net login, by signing up for the mailing list jmlspecs-releases@lists.sourceforge.net through its SourceForge.net web interface. This will let us inform you of future releases.
You can also get access to the JML sources from the
SourceForge.net project page for JML.
Last modified Thursday, February 7, 2008.