Ira Fesefeldt | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Voice Chat Ghibli AI

Featured Co-authors

Joost-Pieter Katoen
67 publications
Christoph Matheja
12 publications
Kevin Batz
11 publications
Thomas Noll
4 publications
Marvin Jansen
1 publication
Florian Keßler
1 publication

research

∙ 07/06/2022

Towards Concurrent Quantitative Separation Logic

In this paper, we develop a novel verification technique to reason about...

0 Ira Fesefeldt, et al. ∙

research

∙ 01/27/2022

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

Quantitative separation logic (QSL) is an extension of separation logic ...

0 Kevin Batz, et al. ∙