java - JML 替代品

Question

我正在寻找 Java 的替代规范语言选项，例如 JML。

有人知道吗？

谢谢。

Answer 1

Java 合约 ( http://code.google.com/p/cofoja/ ) 是一个 Google 项目，可让您在 Java 注释中编写方法合约。

该框架可以使用离线字节码重写器自动插入合约作为动态运行时检查。