Testing the Satisfiability of Formulas in Separation Logic with Permissions.

Nicolas Peltier

Browse the full TABLEAUX paper archive.