JET | JML4c | UTJML | BibPHP | JML
JET Overview | Download | Documentation
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
java -jar jet.jarAlternatively, 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.
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,
and add it to your
The main class is
refer to its click API specification.
The whole API specifications are available from the
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 $