Product detail

SPEN - A Solver for Separation Logic Entailments

LENGÁL, O. VOJNAR, T. ENEA, C. SIGHIREANU, M.

Product type

software

Abstract

This program provides an implementation of a decision procedure for a fragment of separation logic proposed in the paper: C. Enea, O. Lengal, M. Sighireanu, and T. Vojnar. Compositional Entailment Checking for a Fragment of Separation Logic. In Proc. of 12th Asian Symposium on Programming Languages and Systems---APLAS'14, Singapore, 2014, volume 8858 of LNCS, pages 314--333, 2014. Springer-Verlag.

Keywords

program verification, decision procedures, separation logic, tree automata

Create date

29.11.2014

Location

http://www.liafa.univ-paris-diderot.fr/spen/

www

Documents