Jens Pagel | DeepAI

Chat Image Generator Video Music Voice Chat Photo Editor

Featured Co-authors

Christoph Matheja
12 publications
Florian Zuleger
11 publications

research

∙ 02/04/2020

Complete Entailment Checking for Separation Logic with Inductive Definitions

In [A], we proposed a novel decision procedure for entailment checking i...

0 Jens Pagel, et al. ∙

research

∙ 01/17/2020

Strong-Separation Logic

Most automated verifiers for separation logic target the symbolic-heap f...

0 Jens Pagel, et al. ∙