Separation Logic with Heap Variables: A Decision Procedure and Its Application.

Xie Li, Yutian Zhu, Taolue Chen, Fu Song, Zhilin Wu

Browse the full SETTA paper archive.