Decidability and complexity of entailment checking in quantitative separation logic

Jansen, Marvin; Batz, Kevin (Thesis advisor); Fesefeldt, Ira Justus (Thesis advisor); Matheja, Christoph (Thesis advisor); Katoen, Joost-Pieter (Thesis advisor); Noll, Thomas (Thesis advisor)

Aachen (2021)
Master Thesis

Masterarbeit, RWTH Aachen University, 2021