What Is Decidable in Separation Logic Beyond Progress, Connectivity and Establishment?

Tanguy Bozec, Nicolas Peltier, Quentin Petitjean, Mihaela Sighireanu

Browse the full IJCAR paper archive.