Applied result detail

dWiNA - An Implementation of Decision Procedure for WS1S

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

Original Title

dWiNA - An Implementation of Decision Procedure for WS1S

English Title

dWiNA - An Implementation of Decision Procedure for WS1S

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).

Abstract in English

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

Keywords

antichains
WS1S
finite automata
subsumption
nondeterministic automata

Key words in English

antichains
WS1S
finite automata
subsumption
nondeterministic automata

Location

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

Licence fee

In order to use the result by another entity, it is always necessary to acquire a license

www

https://www.fit.vut.cz/research/product/432/