Detail produktu
dWiNA - An Implementation of Decision Procedure for WS1S
Vznik: 2015
Název česky
dWiNA - Implementace rozhodovací procedury pro WS1S
Typ
software
Licence
vyžadována - zdarma
Autoři
Fiedor Tomáš, Ing., Ph.D. (UITS FIT VUT)
Lengál Ondřej, Ing., Ph.D. (UITS FIT VUT)
Holík Lukáš, doc. Mgr., Ph.D. (UITS FIT VUT)
Vojnar Tomáš, prof. Ing., Ph.D. (UITS FIT VUT)
Lengál Ondřej, Ing., Ph.D. (UITS FIT VUT)
Holík Lukáš, doc. Mgr., Ph.D. (UITS FIT VUT)
Vojnar Tomáš, prof. Ing., Ph.D. (UITS FIT VUT)
Popis
Tento nástroj je implementací nového přístupu založeného na proti-řetězcích pro rozhodování slabé monadické druhořadé logiky s jedním následníkem (WS1S).
Umístění
Nástroj i dokumentaci lze získat na URL:http://www.fit.vutbr.cz/research/groups/verifit/tools/dWiNA/
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 nekonečně stavových systémů založená na konečných automatech (GP13-37876P)
Centrum excelence IT4Innovations (ED1.1.00/02.0070)
Spolehlivost a bezpečnost v IT (FIT-S-14-2486)
Verifikace nekonečně stavových systémů založená na konečných automatech (GP13-37876P)
Výzkumné skupiny
Pracoviště
Ústav inteligentních systémů FIT VUT v Brně (UITS FIT VUT)