62 citations
2 papers
cs.SE2014★ 62 cited
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…
cs.LO2014★ 8 cited
SPEEDY: An Eclipse-based IDE for invariant inference
David R. Cok, Scott C. Johnson
SPEEDY is an Eclipse-based IDE for exploring techniques that assist users in generating correct specifications, particularly including invariant inference algorithms and tools. It…