# Difference between revisions of "Software"

From vecolib

(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/...") |
|||

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 |