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.
JML, the specification language most of this corpus's Java verification work is written in: the 1999 proposal and the 2013 reference manual, held here alongside a report on the first verified software competition. The KeY line, the OpenJDK results and the other Java tools here all presuppose that notation, and the corpus holds its definition twice.
3 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
JML: A Notation for Detailed Design
Gary T. Leavens and others (1999) · Behavioral Specifications of Businesses and Systems · Springer US