research
∙
09/16/2023
Dynamic Separation Logic
This paper introduces a dynamic logic extension of separation logic. The...
share
research
∙
11/11/2019
Verifying OpenJDK's LinkedList using KeY
As a particular case study of the formal verification of state-of-the-ar...
research
∙
08/27/2019
