Detail produktu

dWiNA - An Implementation of Decision Procedure for WS1S

FIEDOR, T. LENGÁL, O. HOLÍK, L. VOJNAR, T.

Typ produktu

software

Abstrakt

This tool is an implementation of novel approach based on anti-chains for deciding Weak Monadic Second-Order Logic of one successor (WS1S).

Klíčová slova

antichainsWS1Sfinite automatasubsumptionnondeterministic automata

Datum vzniku

24.06.2015

Umístění

Nástroj i dokumentaci lze získat na URL:http://www.fit.vutbr.cz/research/groups/verifit/tools/dWiNA/

Možnosti využití

K využití výsledku jiným subjektem je vždy nutné nabytí licence

Licenční poplatek

Poskytovatel licence na výsledek nepožaduje licenční poplatek

www