Acknowledgements
At Iowa State, the development of JML was partially funded by a grant from Rockwell International Corporation and by the (US) National Science Foundation under grants CCR-9503168, CCR-9803843, CCR-0097907, CCR-0113181, CCF-0428078, and CCF-0429567.
Support from the US National Science Foundation continues under a Computing Research Infrastructure (CRI) grant jointly to several institutions: CNS 08-08913 (U. of Central Florida), CNS 07-07874 (UTEP), CNS 07-07701 (Rose Hulman), CNS 07-07885 (U. Cal. Santa Cruz), CNS 07-08330 (Stevens), and CNS 07-09169 (Kansas State).
Thanks to all of the contributors to the software for JML and related tools, both those at Iowa State and elsewhere. You make the project what it is.
The Common (formerly ISU) JML tools are based on the MultiJava compiler.
The JML checker uses the ANTLR parser-generator from the Magelang Institute.
Thanks to Marko van Dooren, Curtis Clifton, and Michael Möller for help with formatting of this web site.
Thanks to Michael Möller (and others on the JML interest list, notably Stephen Edwards) for development of JML logos.
Development of JML is hosted on sourceforge.net.
See the acknowledgements in the preliminary design document for full acknowledgements.
Last modified Thursday, February 7, 2008.