Detail produktu

SLIDE: Separation Logic with Inductive Definitions

Vznik: 2014

Název česky
SLIDE: Separační logika s induktivními definicemi
Typ
software
Licence
vyžadována - zdarma
Autoři
Popis
SLIDE je prototypový nástroj určený k ověření incluze množiny modelů formulí popsaných Separační logikou s induktivními definicemi rekurzivních datových struktur (linkované listy, stromy, a složitější).
Umístění
Nástroj i dokumentaci lze získat na URL: http://www.fit.vutbr.cz/research/groups/verifit/tools/slide/
Licence
Volně šiřitelný software poskytovaný pod licencí GNU GPL (přesné znění licence je dostupné na stránce http://www.gnu.org/licenses/gpl.html).
Nahoru