In this paper we study a Separation Logic of Relations (SLR) and compare...
We compare the model-theoretic expressiveness of the existential fragmen...
We consider concurrent systems consisting of replicated finite-state
pro...
We consider a logic used to describe sets of configurations of distribut...
We study a sound verification method for parametric component-based syst...
This paper presents a Hoare-style calculus for formal reasoning about
re...
The entailment problem φψ in Separation Logic
<cit.>, between separated ...
We define a class of Separation Logic formulae, whose entailment problem...
The entailment between separation logic formulae with inductive predicat...
We consider parameterized concurrent systems consisting of a finite but
...
We introduce a logical framework for the specification and verification ...
We propose an automated method for computing inductive invariants applie...
We first show that infinite satisfiability can be reduced to finite
sati...
This paper investigates the satisfiability problem for Separation Logic,...