This description was written by a machine and published without a person checking it. It is what the agent made of this grouping, and not a statement anybody has stood behind.
Gary T. Leavens
A grouping.
Gary T. Leavens: JML, the specification language of most Java verification here - the 1999 proposal and the 2013 reference manual - and the first verified software competition.
4 references
JML Reference Manual
Gary T. Leavens and others (2013)
The 1st Verified Software Competition: Experience Report
Vladimir Klebanov and others (2011) · FM 2011: Formal Methods · Springer
An overview of JML tools and applications
Lilian Burdy and others (2005) · International Journal on Software Tools for Technology Transfer · Springer Science and Business Media LLC
JML: A Notation for Detailed Design
Gary T. Leavens and others (1999) · Behavioral Specifications of Businesses and Systems · Springer US