JML-Java Specification Generator.
Useful for generating skeletons for hand-crafted code, which can be checked with the ESC/Java tool.
Log in to post a comment.