Software Download
Yoonsik Cheon | HOME


JET | JML4c | UTJML | BibPHP | JML

JET Overview | Download | Documentation

Executable JAR File

Download an executable JAR file compiled with JDK 1.6: jet.jar (6.81MB). To run the JET tool, use -jar option of the java command; e.g., type the following line on the command prompt. 

  java -jar jet.jar
Alternatively, you can double-click the executable JAR file on an operating system like Microsoft Windows; however, this works only if the Java Runtime Environment (JRE) is installed and JAR files are associated with the JVM.

Refer to the Documentation page for a JET tutorial and other documents such as technical papers.

Java Source Code

Download source code files: jet-src.zip (1.09MB).

You can browse and download the development version of Java source code directly from the CVS repository; to download the source code, click the "download tarball" link at the bottom.

To compile the source code, you also need to download a JAR file, utjmlc.jar, and add it to your CLASSPATH. The main class is edu.utep.cs.et.gui.Main; refer to its click API specification. The whole API specifications are available from the Documentation page.

Samples

Download sample Java classes, annotated with JML specifications to test drive the JET tool.

Last modified: $Id: download.php,v 1.13 2010/12/10 01:14:13 cheon Exp $