Prof. Ing. Tomáš Vojnar, Ph.D.

SPEN - A Solver for Separation Logic Entailments

Authors:Enea Constantin, Lengál Ondřej, Sighireanu Mihaela, Vojnar Tomáš
Type:software
Created:2014
Licence:required - no fee
Keywords:
program verification, decision procedures, separation logic, tree automata
Description:
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.
Location:
http://www.liafa.univ-paris-diderot.fr/spen/
Research groups:
Departments:
Licence terms:
Free software under the terms of GNU GPL (cf. http://www.gnu.org/licenses/gpl.html).

Your IPv4 address: 54.163.209.109
Switch to IPv6 connection

DNSSEC [dnssec]