NSF supports the JML community infrastructure for formal methods

July 15, 2007

The National Science Foundation is supporting a collaborative effort to revitalize the tools and documentation behind the Java Modeling Language (JML), a notation for writing precise specifications of Java programs that formal-methods researchers rely on.

The award sustains shared infrastructure so that the broader community can build on a common, well-maintained foundation.

This work is part of Modularity and Modular Reasoning. Details are on the NSF award page.