43 citations · 54 across the 10 of their papers we have counts for
Showing 2022Show all
2 papers · 1 filter
cs.LO2022
Towards Concurrent Quantitative Separation Logic
Ira Fesefeldt, Joost-Pieter Katoen, Thomas Noll
In this paper, we develop a novel verification technique to reason about programs featuring concurrency, pointers and randomization. While the integration of concurrency and pointe…
cs.LO2022
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…