javaspecificationsjml

JML Alternatives

I am looking for alternative specification languages options for Java, like JML.

Does any one know any?

Thanks.

Solution

  • 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.