Product Details

dWiNA - An Implementation of Decision Procedure for WS1S

Created: 2015

Czech title
dWiNA - Implementace rozhodovací procedury pro WS1S
Type
software
License
required - free
Authors
Keywords
antichains
WS1S
finite automata
subsumption
nondeterministic automata
Description

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

Location
Licence

Free software under the terms of GNU GPL (cf.http://www.gnu.org/licenses/gpl.html).

Back to top