JML Alternatives

I am looking for alternative specification languages options for Java, lik开发者_开发问答e JML.

Does any one know any?

Thanks.

---

Contracts for Java (http://code.google.com/p/cofoja/) is a Google project that enables you to write method contracts in Java annotations.

The framework can automatically insert the contracts as dynamic runtime checks using an offline bytecode rewriter.