OpenJML: Software verification for Java 7 using JML, OpenJDK, and Eclipse

David R. Cok

OpenJML is a tool for checking code and specifications of Java programs. We describe our experience building the tool on the foundation of JML, OpenJDK and Eclipse, as well as on m…