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.
Wolfgang Ahrendt
A grouping.
Wolfgang Ahrendt: the specification side of KeY - object creation in dynamic logic, JML specification, deductive verification meeting symbolic execution, and the KeY book. All four records sit in verifying-real-java.
5 references
Integrating deductive verification and symbolic execution for abstract object creation in dynamic logic
Stijn de Gouw and others (2016) · Software and Systems Modeling
Formal Specification with the Java Modeling Language
Marieke Huisman and others (2016) · Deductive Software Verification – The KeY Book · Springer International Publishing
Deductive Software Verification – The KeY Book
Mattias Ulbrich and others (2016) · Springer
Formal Specification with JML
Marieke Huisman and others (2014) · Karlsruhe Institute of Technology
Abstract Object Creation in Dynamic Logic: To Be or Not to Be Created
Wolfgang Ahrendt and others (2009) · FM 2009: Formal Methods · Springer