A Decision Procedure For The WSkS Logic by Tomáš Fiedor, PDF 3659635839

A Decision Procedure For The WSkS Logic

  • Title: A Decision Procedure For The WSkS Logic
  • Autor: Tomáš Fiedor
  • Publisher (Publication Date): LAP LAMBERT Academic Publishing (November 18, 2014)
  • Language: English
  • ISBN-10: | 3659635839
  • ISBN-13: | 978-3659635830
  • File Format: EPUB, PDF

Various types of logics are often used as a means for formal specification of systems. The weak monadic second-order logic of k successors (WSkS) is one of these logics with quite high expressivity, yet still decidable. Although the complexity of checking satisfiability of a WSkS formula is not even in the ELEMENTARY class, there are approaches to this problem based on deterministic tree automata that perform well in practice, like the MONA tool that efficiently solves the class of practical formulae, but fails for some others. This work extends the class of practically solvable formulae with the use of recently developed techniques for efficient manipulation of non-deterministic automata (such as the antichains algorithm for testing universality) and designs a new decision procedure using non-deterministic automata. The procedure is implemented and is compared with the MONA tool and for some cases yield better results than MONA.

No reviews


Related posts

The Information Systems Security Officer’s Guide, Third Edition: Establishing and Managing a Cyber Security Program by Gerald L. Kovacich CFE CPP CISSP, PDF 012802190X
MCSA 70-741 Cert Guide: Networking with Windows Server 2016 (Certification Guide) by Michael S. Schulz, PDF 0789757044
Call of Duty Advanced Warfare Game Guide by Pro Gamer, PDF 1633238121
Blogging: The Ultimate Guide To Help You Learn How To Blog, Enjoy And Earn From: Blogging, Make Money Blogging, Blog, Blogging For Profit, Blogging For Beginners Book 1 by Alex Addo, PDF 1977915124
Digital Girls: Fashion’s New Tribe by Shawn Dahl, PDF 0847858855
Codes on Periodic and Solid Burst Errors: Necessary and sufficient conditions for their existence by Pankaj Kumar Das, PDF 3659972916

Leave a Reply

Your email address will not be published. Required fields are marked *