1 paper
Jens Pagel, Florian Zuleger
Most automated verifiers for separation logic target the symbolic-heap fragment, disallowing both the magic-wand operator and the application of classical Boolean operators to spat…