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.
Peter H. Schmitt
A grouping.
The KeY line for Java verification, including 'Dynamic frames in Java dynamic logic' -- dynamic frames being the alternative to separation logic for saying what a method may modify, carrying the footprint as a term in the logic rather than using a separating connective. The corpus holds both answers to that problem. One copy is in the-copy-is-not-the-work.
3 references
Deductive Software Verification – The KeY Book
Mattias Ulbrich and others (2016) · Springer
Dynamic frames in Java dynamic logic
Peter H. Schmitt and others (2011) · International Conference on Formal Verification of Object-Oriented Software (FoVeOOS) · Springer
Verification of object-oriented software: The KeY approach
Bernhard Beckert and others (2007) · Springer-Verlag