The code-contracts tag has no wiki summary.
1
vote
0answers
74 views
Is there any static analyzer for code contracts for Java 1.6?
I have used Java Modeling Language (JML) with its runtime assertion checker jml4c for writing code contracts in java. However, it would have been great to have a static checker in place as well that ...
