dWiNA - An Implementation of Decision Procedure for WS1S
This tool is an implementation of novel approach based on anti-chains for deciding Weak Monadic Second-Order Logic of one successor (WS1S).
The tool and manual is located at
Free software under the terms of GNU GPL (cf.http://www.gnu.org/licenses/gpl.html).
Reliability and Security in IT (FIT-S-14-2486)
The IT4Innovations Centre of Excellence (ED1.1.00/02.0070)
Verification of Infinite State Systems Based on Finite Automata (GP13-37876P)