Difference between revisions of "Software"

Revision as of 17:51, 10 December 2014

Revision as of 17:51, 10 December 2014 (view source) Iosif (Talk \| contribs) (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/...")		Revision as of 17:51, 10 December 2014 (view source) Iosif (Talk \| contribs) Newer edit →
Line 1:		Line 1:
−	* [http://www.fit.vutbr.cz/research/groups/verifit/tools/slide/ SLIDE]: solver for Separation Logic with Inductive Definitions	+	* [http://www.fit.vutbr.cz/research/groups/verifit/tools/slide/ SLIDE]: a solver for Separation Logic with Inductive Definitions
−	* [http://www.liafa.univ-paris-diderot.fr/spen/ SPEN]: solver for Separation Logic Entailments	+	* [http://www.liafa.univ-paris-diderot.fr/spen/ SPEN]: a solver for Separation Logic Entailments