Product detail

dWiNA - An Implementation of Decision Procedure for WS1S

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

Product type

software

Abstract

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

Keywords

antichainsWS1Sfinite automatasubsumptionnondeterministic automata

Create date

24. 6. 2015

Location

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

Possibilities of use

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

Licence fee

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

www