1 citations · 1 across the 2 of their papers we have counts for
2 papers
cs.LO2023★ 1 cited
Dynamic Separation Logic
Frank S. de Boer, Hans-Dieter A. Hiep, Stijn de Gouw
This paper introduces a dynamic logic extension of separation logic. The assertion language of separation logic is extended with modalities for the five types of the basic instruct…
cs.LO2019
Verifying OpenJDK's LinkedList using KeY
Hans-Dieter A. Hiep, Olaf Maathuis, Jinting Bian +3
As a particular case study of the formal verification of state-of-the-art, real software, we discuss the specification and verification of a corrected version of the implementation…