activity
20132024
most citedThe Tree Width of Separation Logic with Recursive Definitions

4 citations · 7 across the 8 of their papers we have counts for

collaborators
Showing 2024Show all

1 paper · 1 filter

cs.LO2024

Deciding Boolean Separation Logic via Small Models (Technical Report)

Tomáš Dacík, Adam Rogalewicz, Tomáš Vojnar +1

We present a novel decision procedure for a fragment of separation logic (SL) with arbitrary nesting of separating conjunctions with boolean conjunctions, disjunctions, and guarded…