Effective entailment checking for separation logic with inductive definitions

DOI10.1007/978-3-030-17465-1_18zbMath1527.68131MaRDI QIDQ6091412

Jens Katelaan, Florian Zuleger, Christoph Matheja

Publication date: 24 November 2023

Published in: Tools and Algorithms for the Construction and Analysis of Systems (Search for Journal in Brave)

Mathematics Subject Classification ID

Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60) Data structures (68P05)

Related Items (1)

Contributed papers. Restriction on cut in cyclic proof system for symbolic heaps

This page was built for publication: Effective entailment checking for separation logic with inductive definitions