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
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
Výzkumné skupiny
Pracoviště
Nahoru