JML6

JML6 is a successor to JML4. It is a clean Eclipse 3.5 plug-in. At its core, JML6 makes use of the input syntax of JML4.5 (essentially JML5) and the JML Intermediate Representation (JIR), details of which are covered in the following technical report:

• Robby and P. Chalin, “Preliminary Design of a Unified JML Representation and Software Infrastructure”, SAnToS Laboratory, Department of Computing and Information Sciences, Kansas State University, SAnToS-TR2009-04-01. April, 2009.