JML Alternatives

Question

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

Does any one know any?

Thanks.

I've used JPF on the past, but i don't think it can act as a Specification (DbC) language like JML or Cofoja, as suggested in the answer to this question. — Tiago Veloso, Jan 16 '14 at 16:19

score 4 · Accepted Answer · answered Mar 24 '11 at 18:32

4

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.

answered Mar 24 '11 at 18:32

Todd Schiller

1 Answers1