Development of JML tools
Overview
The Common (formerly ISU) tools for JML are open source. Development work on these tools was part of the MultiJava compiler project.
All current work is being done on github.com, notably with the OpenJML project.
Details
- See the OpenJML project's wiki for tips on getting started with development for OpenJML.
- Staff at the University of Central Florida and Iowa State University (formerly) working on JML.
- Others working on JML tools.
- Some pictures of JML developers.
- Acknowledgements.
Last modified Friday, December 10, 2021.