Peter H. Schmitt

3 references under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.

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

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.

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