Foundations for Entailment Checking in Quantitative Separation Logic (extended version)

Kevin Batz, Ira Fesefeldt, Marvin Jansen +4

Quantitative separation logic (QSL) is an extension of separation logic (SL) for the verification of probabilistic pointer programs. In QSL, formulae evaluate to real numbers inste…