Detail produktu

SPEN - A Solver for Separation Logic Entailments

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

Typ produktu

software

Abstrakt

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.

Klíčová slova

program verification, decision procedures, separation logic, tree automata

Datum vzniku

29. 11. 2014

Umístění

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

Možnosti využití

K využití výsledku jiným subjektem je vždy nutné nabytí licence

Licenční poplatek

Poskytovatel licence na výsledek nepožaduje licenční poplatek

www

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