A Decision Procedure for Separation Logic in SMT.

Andrew Reynolds, Radu Iosif, Cristina Serban, Tim King

Browse the full ATVA paper archive.