dWiNA - An Implementation of Decision Procedure for WS1S

Authors:Fiedor Tomáš, Lengál Ondřej, Holík Lukáš, Vojnar Tomáš
Type:software
Created:2015
Licence:required - no fee
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:
The tool and manual is located at 
Research groups:
Departments:
Licence terms:
Free software under the terms of GNU GPL (cf.http://www.gnu.org/licenses/gpl.html).

Your IPv4 address: 54.91.38.173
Switch to IPv6 connection

DNSSEC [dnssec]