JML2BML: JML to BML compiler

JML2BML is a tool which takes the Java annotated with JML and the class file and translates the JML annotations from the source code to the BML annotations in the class file.

Authors

• Jędrzej Fulara
• Krzysztof Jakubczyk
• Aleksy Schubert

Documentation

A paper presenting the compiler can be found here (PDF).

Download

The JML2BML compiler together with all the necessary libraries can be found in the archive file here.

The sources can be viewed and downloaded from the SVN repository: here.

Contact

If you want to contact the authors of the tool, please send an email to Aleksy Schubert.

Last modification: 12.03.2009