dWiNA - Implementace rozhodovací procedury pro WS1S

Autoři:Fiedor Tomáš, Lengál Ondřej, Holík Lukáš, Vojnar Tomáš
Typ:software
Vznik:2015
Licence:vyžadována - zdarma
Klíčová slova:
antichains
WS1S
finite automata
subsumption
nondeterministic automata
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/
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: 107.20.115.174
Přepnout na IPv6 spojení

DNSSEC [dnssec]