We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:

Download:

Current browse context:

cs.SE

Change to browse by:

References & Citations

DBLP - CS Bibliography

Bookmark

(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Computer Science > Software Engineering

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

Authors: David R. Cok (GrammaTech, Inc.)
Abstract: 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 many advances in specification-based software verification. The implementation demonstrates the value of integrating specification tools directly in the software development IDE and in automating as many tasks as possible. The tool, though still in progress, has now been used for several college-level courses on software specification and verification and for small-scale studies on existing Java programs.
Comments: In Proceedings F-IDE 2014, arXiv:1404.5785
Subjects: Software Engineering (cs.SE); Logic in Computer Science (cs.LO); Programming Languages (cs.PL)
Journal reference: EPTCS 149, 2014, pp. 79-92
DOI: 10.4204/EPTCS.149.8
Cite as: arXiv:1404.6608 [cs.SE]
  (or arXiv:1404.6608v1 [cs.SE] for this version)

Submission history

From: EPTCS [view email]
[v1] Sat, 26 Apr 2014 05:33:03 GMT (85kb,D)

Link back to: arXiv, form interface, contact.