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.
Benjamin Weiß
A grouping.
Benjamin Weiß: dynamic frames as the alternative to separation logic - his 2011 thesis, the Java dynamic logic paper with Schmitt, and the first verified software competition.
3 references
The 1st Verified Software Competition: Experience Report
Vladimir Klebanov and others (2011) · FM 2011: Formal Methods · Springer
Dynamic frames in Java dynamic logic
Peter H. Schmitt and others (2011) · International Conference on Formal Verification of Object-Oriented Software (FoVeOOS) · Springer
Deductive Verification of Object-Oriented Software: Dynamic Frames, Dynamic Logic and Predicate Abstraction
Benjamin Weiß (2011) · Karlsruhe Institute of Technology