Download List

Project Description

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.

System Requirements

Operating System: All 32-bit MS Windows (95/98/NT/2000/XP/Vista/7), MacOSX, POSIX (Linux,BSD,Solaris etc..), Linux, OS Independent

Download Package list

Latest 5 files
Name Size Date Download count
openjml-macos-11-0.17.0-alpha-12.zip 160.7 MB 2022-03-05 23:49 0
openjml-macos-10.15-0.17.0-alpha-12.zip 165.5 MB 2022-03-05 23:43 1
openjml-ubuntu-20.04-0.17.0-alpha-12.zip 321.3 MB 2022-03-05 23:36 0
openjml-ubuntu-18.04-0.17.0-alpha-12.zip 269.5 MB 2022-03-05 23:29 0
README.md 0.3 KB 2022-03-05 23:08 0
All Files
0.17.0-alpha-12
openjml-macos-11-0.17.0-alpha-12.zip160.7 MB2022-03-05 23:490
openjml-macos-10.15-0.17.0-alpha-12.zip165.5 MB2022-03-05 23:431
openjml-ubuntu-20.04-0.17.0-alpha-12.zip321.3 MB2022-03-05 23:360
openjml-ubuntu-18.04-0.17.0-alpha-12.zip269.5 MB2022-03-05 23:290
OpenJML 0.17.0-alpha-12.tar.gz151.6 MB2022-03-05 23:080
OpenJML 0.17.0-alpha-12.zip242.3 MB2022-03-05 23:080
README.md0.3 KB2022-03-05 23:080
OpenJML
openjml.zip86.5 MB2021-11-17 12:0122
README0.3 KB2021-11-17 11:5837
JIR
OpenJIR
CHANGE.TXT0.3 KB2010-02-13 07:1323
openjir-20100212.tar.gz21.3 MB2010-02-13 06:3117
openjir-20100127.tar.gz21.3 MB2010-01-28 05:246
OldFiles
JML.5.6_rc2.tar.gz13.9 MB2008-05-21 07:073
JML.5.6_rc1.tar.gz13.8 MB2008-04-23 00:294
JML.5.5_rc3.tar.gz13.1 MB2007-11-05 07:072
JML.5.5_rc2.tar.gz13.1 MB2007-10-16 10:114
JML.5.5_rc1.tar.gz13.1 MB2007-07-02 17:191
JML.5.4_rc2.tar.gz14.7 MB2006-12-25 10:582
JML.5.4_rc1.tar.gz14.1 MB2006-08-17 03:383
JML.5.3_rc4.tar.gz14.6 MB2006-01-12 14:281
JML.5.3_rc3.tar.gz14.0 MB2006-01-06 06:581
JML.5.3_rc2.tar.gz14.2 MB2005-09-13 13:551
JML.5.3_rc1.tar.gz14.2 MB2005-08-18 06:121
JML.5.2_rc4.tar.gz13.9 MB2005-07-08 15:492
JML.5.2_rc3.tar.gz13.6 MB2005-05-31 13:151
JML.5.2_rc2.tar.gz13.5 MB2005-04-04 06:167
JML.5.2_rc1.tar.gz13.5 MB2005-04-03 15:173
JML.5.1.tar.gz12.6 MB2005-01-23 11:408
JML.5.1_rc3.tar.gz12.6 MB2005-01-05 08:011
JML.5.1_rc2.tar.gz12.5 MB2004-11-22 16:303
JML.5.1_rc1.tar.gz11.8 MB2004-10-12 11:122
JML.5.0.tar.gz11.6 MB2004-08-15 03:553
JML.5.0_rc2.tar.gz12.4 MB2004-08-05 07:201
JML.5.0_rc1.tar.gz10.0 MB2004-04-01 00:543
JML.4.1.tar.gz9.8 MB2004-02-09 15:171
JML.4.1_rc5.tar.gz9.8 MB2004-01-29 06:005
JML.4.1_rc4.tar.gz8.8 MB2003-12-12 13:281
JML.4.1_rc3.tar.gz8.5 MB2003-11-13 16:351
JML.4.1_rc2.tar.gz8.5 MB2003-10-21 13:033
JML.4.1_rc1.tar.gz8.2 MB2003-09-20 04:401
JML.4.1_pre.tar.gz8.1 MB2003-08-22 05:424
JML.4.0.tgz7.4 MB2003-06-17 00:522
JML.3.7.tgz5.1 MB2003-04-10 02:062
JML.3.6.tgz4.6 MB2003-01-08 01:594
JML.3.5.tgz4.6 MB2002-12-18 23:191
JML.3.4.tgz6.5 MB2002-11-14 23:201