Inaugural JML Spec-a-thon

The Inaugural JML Spec-a-thon was held at the Institute of Technology from May 26-28, 2009. Institute Assistant Professor Dan Zimmerman and Dr. Joe Kiniry from University College Dublin organized the event, which brought together nine leading JML researchers from eight universities and corporations in four countries. JML, short for the Java Modeling Language, allows Java developers to increase the reliability of their programs by embedding formal specifications and using various tools to verify that their code fulfills them. JML was originally developed in the late 1990s, and has had difficulty staying up- to-date with new versions of Java; the goal of the JML Spec-a-thon workshops is to address this difficulty, by developing new formal specifications for current versions of Java and setting community-wide goals for JML-related tool development and research. The Inaugural JML Spec-a-thon was supported by Formal Methods Europe, the University of Washington Tacoma Chancellor’s Fund, and the Institute.

top