开发者 www.jmlspecs.org

Java建模语言 （JML） 是一种行为接口规范语言，可用于指定 Java 模块的行为（如在合同设计中 - DBC）。它有许多工具做断言检查，单位测试等。