Jml

JML or Java Modeling Language is a behavioral interface specification language that a user can use to specify the behavior of Java modules. The language combines the design by contract approach of Eiffel and the model-based specification approach of the Larch family of interface specification... Platforms: Windows

The Java Modeling Language (JML) is a behavioral interface specification language that can be used to specify the behavior of Java modules (as in design by contract -- DBC). It has many tools to do assertion checking, unit testing, etc. Platforms: Windows, Mac, Linux

The Java Modeling Language (JML) is a behavioral interface specification language that can be used to specify the behavior of Java modules. It combines the design by contract approach of Eiffel and the model-based specification approach of the Larch family of interface specification languages,... Platforms: Windows, Mac, *nix, Java, BSD Solaris

jppa is a pointer and purity analysis tool for Java programs. Mainly a purity analysis tool: given a full Java program, it detects pure JML-style methods, i.e., methods that do not mutate existing objects (they may mutate new ones). Platforms: Windows, Mac, Linux