8 citations · 11 across the 3 of their papers we have counts for
3 papers · 1 filter
Internal Calculi for Separation Logics
Stéphane Demri, Etienne Lozes, Alessio Mansutti
We present a general approach to axiomatise separation logics with heaplet semantics with no external features such as nominals/labels. To start with, we design the first (internal…
The Effects of Adding Reachability Predicates in Quantifier-Free Separation Logic
Stéphane Demri, Etienne Lozes, Alessio Mansutti
The list segment predicate ls used in separation logic for verifying programs with pointers is well-suited to express properties on singly-linked lists. We study the effects of add…
Model-Checking Process Equivalences
Martin Lange, Etienne Lozes, Manuel Vargas Guzmán
Process equivalences are formal methods that relate programs and system which, informally, behave in the same way. Since there is no unique notion of what it means for two dynamic…