[X] The "/glatus/glatus.jar" file could not be found or is not available. Please select another file.

The Java Modeling Language (JML) is a behavioral interface specification language that can be used to specify the behavior of Java modules (as in design by contract -- DBC). It has many tools to do assertion checking, unit testing, etc.

Browse Files for Java Modeling Language (JML)

File/Folder Name  Platform Size Date ↓ Downloads Notes/Subscribe
Newest Files
jml-20090502.tar.gz 3.9 MB 2009-05-03 02:28:49 GMT 757 Release Notes
All Files Subscribe
OpenJML 7.3 MB 2009-05-03 02:28:49 GMT Subscribe Folder view
OpenJML_jmldoc 20090502 (alpha) 3.9 MB 2009-05-03 02:28:49 GMT Subscribe Folder view
jml-20090502.tar.gz 3.9 MB 2009-05-03 02:28:49 GMT 757 Release Notes
OpenJML 20071210 (alpha) 3.5 MB 2007-12-11 02:44:16 GMT Subscribe Folder view
JML-20071210.tar.gz 3.5 MB 2007-12-11 02:44:16 GMT 1,033 Release Notes
jmlspecs 86.3 MB 2009-03-16 17:23:16 GMT Subscribe Folder view
5.6_rc4 14.1 MB 2009-03-16 17:23:16 GMT Subscribe Folder view
JML.5.6_rc4.tar.gz 14.1 MB 2009-03-16 17:23:16 GMT 820 Release Notes
5.6_rc3 14.2 MB 2008-12-04 19:16:09 GMT Subscribe Folder view
JML.5.6_rc3.tar.gz 14.2 MB 2008-12-04 19:16:09 GMT 658 Release Notes
5.5 13.7 MB 2008-01-10 04:06:26 GMT Subscribe Folder view
JML.5.5.tar.gz 13.7 MB 2008-01-10 04:06:26 GMT 1,424 Release Notes
5.4 15.1 MB 2007-02-08 21:18:30 GMT Subscribe Folder view
JML.5.4.tar.gz 15.1 MB 2007-02-08 21:18:30 GMT 2,547 Release Notes
5.3 15.0 MB 2006-05-17 18:17:23 GMT Subscribe Folder view
JML.5.3.tar.gz 15.0 MB 2006-05-17 18:17:23 GMT 1,502 Release Notes
5.2 14.2 MB 2005-07-12 22:19:02 GMT Subscribe Folder view
JML.5.2.tar.gz 14.2 MB 2005-07-12 22:19:02 GMT 619 Release Notes