文件名称：Java Modeling Language (JML)-开源
文件大小：85.07MB
文件格式：ZIP
更新时间：2024-08-14 17:50:59
开源软件
Java 建模语言 (JML) 是一种行为接口规范语言，可用于指定 Java 模块的行为（如契约设计——DBC）。 它有许多工具可以进行断言检查、单元测试等。
【文件预览】：
jmlspecs.jar
jml-reference-manual.pdf
Solvers-windows
----Microsoft.Z3.xml(212KB)
----vcomp100.dll(56KB)
----libz3.lib(124KB)
----z3-4.7.1.exe(13.47MB)
----libz3java.lib(201KB)
----msvcr100.dll(810KB)
----msvcp100.dll(594KB)
----libz3java.dll(78KB)
----cvc4-1.6.exe(22.61MB)
----z3-4.3.2.exe(9.43MB)
----Microsoft.Z3.dll(162KB)
----libz3.dll(9.36MB)
jmlruntime.jar
VERSION_INFO
Solvers-macos
----z3-4.5.0(18.66MB)
----cvc4-1.6(128KB)
----z3-4.3.1(14.51MB)
----z3-4.6.0(20.22MB)
----z3-4.7.1(20.35MB)
epl-v10.html
Solvers-linux
----cvc4-1.6(19.91MB)
----z3-4.3.0(13.46MB)
----z3-4.3.1(13.46MB)
----z3-4.7.1(22.64MB)
openjml.jar
OpenJMLUserGuide.pdf
LICENSE.rtf
openjml-template.properties