TitleAn overview of JML tools and applications
Publication TypeJournal Article
Year of Publication2005
AuthorsBurdy L, Cheon Y, Cok D, Ernst MD, Kiniry J, Leavens GT, Leino RKM, Poll E
JournalSoftware Tools for Technology Transfer
Volume7
Pagination212–232
Date or Month PublishedJune
AbstractThe Java Modeling Language (JML) can be used to specify the detailed design of Java classes and interfaces by adding annotations to Java source files. The aim of JML is to provide a specification language that is easy to use for Java programmers and that is supported by a wide range of tools for specification type-checking, runtime debugging, static analysis, and verification. \par This paper gives an overview of the main ideas behind JML, details about JML's wide range of tools, and a glimpse into existing applications of JML.
Downloadshttps://homes.cs.washington.edu/~mernst/pubs/jml-tools-sttt2005.pdf PDF
Citation KeyBurdyCCEKLLP2005