Software

From vecolib

Revision as of 16:51, 10 December 2014 by Iosif (Talk | contribs)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Jump to: navigation, search

SLIDE: a solver for Separation Logic with Inductive Definitions
SPEN: a solver for Separation Logic Entailments

Retrieved from "http://vecolib.imag.fr/index.php?title=Software&oldid=25"