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
Rogalewicz Adam, doc. Mgr., Ph.D. (UITS FIT VUT)
Iosif Radu (VERIMAG)
Vojnar Tomáš, prof. Ing., Ph.D. (UITS FIT VUT)
Iosif Radu (VERIMAG)
Vojnar Tomáš, prof. Ing., Ph.D. (UITS FIT VUT)
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).
Projekty
Automatizovaná formální analýza a verifikace programů se složitými datovými a řídicími strukturami s předem neomezenou velikostí (GA14-11384S)
Centrum excelence IT4Innovations (ED1.1.00/02.0070)
Spolehlivost a bezpečnost v IT (FIT-S-14-2486)
Verifikace a optimalizace počítačových systémů (FIT-S-12-1)
Centrum excelence IT4Innovations (ED1.1.00/02.0070)
Spolehlivost a bezpečnost v IT (FIT-S-14-2486)
Verifikace a optimalizace počítačových systémů (FIT-S-12-1)
Výzkumné skupiny
Pracoviště