SLIDE: Separační logika s induktivními definicemi

Autoři:Rogalewicz Adam, Iosif Radu, Vojnar Tomáš
Typ:software
Vznik:2014
Licence:vyžadována - zdarma
Klíčová slova:Separation logic, inductive definitions, entailment
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/
Výzkumné skupiny:
Pracoviště:
Licenční podmínky:
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).

Vaše IPv4 adresa: 3.226.251.81
Přepnout na https