Paper at ESOP 2022

The paper entitled “Foundations for Entailment Checking in Quantitative Separation Logic” by Kevin Batz, Ira Fesefeldt, Marvin Jansen, Joost-Pieter Katoen, Florian Ke├čler, Christoph Matheja and Thomas Noll has been accepted for ESOP 2022, the 31st European Symposium on Programming. The paper presents the first results on decidability and complexity for entailment checking in quantitative separation logic and is an important step towards automation of verifying randomised algorithms manipulating dynamic data structures such as skip lists.