Difference between revisions of "Software"

From vecolib
Jump to: navigation, search
(Created page with "* [http://www.fit.vutbr.cz/research/groups/verifit/tools/slide/ SLIDE]: solver for Separation Logic with Inductive Definitions * [http://www.liafa.univ-paris-diderot.fr/spen/...")
(No difference)

Revision as of 16:51, 10 December 2014

  • SLIDE: solver for Separation Logic with Inductive Definitions
  • SPEN: solver for Separation Logic Entailments
Retrieved from "http://vecolib.imag.fr/index.php?title=Software&oldid=24"