Published in dr. heap
Authors Hans-Dieter Hiep, Frank de Boer
A sound and complete proof system for separation logic (part 1) Download the PDF version of this article.
References
A Decision Procedure for Separation Logic in SMT
Published in Lecture Notes in Computer Science
Authors Andrew Reynolds, Radu Iosif, Cristina Serban, Tim King