JML替代方案

Question

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

有人认识吗？

谢谢。

Answer 1

Contracts for Java (http://code.google.com/p/cofoja/)是一个Google项目，它使您能够用Java注解编写方法契约。

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