JML : notations and tools supporting detailed design in Java

  title={JML : notations and tools supporting detailed design in Java},
  author={Gary T. Leavens and K. Rustan M. Leino and Erik Poll and Clyde Ruby and Bart Jacobs},
JML is a notation for specifying the detailed design of Java classes and interfaces. JML’s assertions are stated using a slight extension of Java’s expression syntax. This should make it easy to use. Tools for JML aid in static analysis, verification, and run-time debugging of Java code. 
Highly Influential
This paper has highly influenced 25 other papers. REVIEW HIGHLY INFLUENTIAL CITATIONS
Highly Cited
This paper has 197 citations. REVIEW CITATIONS

From This Paper

Topics from this paper.


Publications citing this paper.
Showing 1-10 of 118 extracted citations

An overview of the MOP runtime verification framework

International Journal on Software Tools for Technology Transfer • 2011
View 4 Excerpts
Highly Influenced

Verification conditions for source-level imperative programs

Computer Science Review • 2011
View 13 Excerpts
Highly Influenced

A case study of C source code verification: the Schorr-Waite algorithm

Third IEEE International Conference on Software Engineering and Formal Methods (SEFM'05) • 2005
View 12 Excerpts
Highly Influenced

197 Citations

Citations per Year
Semantic Scholar estimates that this publication has 197 citations based on the available data.

See our FAQ for additional information.


Publications referenced by this paper.
Showing 1-10 of 13 references

Similar Papers

Loading similar papers…