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

Comments:


Related posts

PHR/SPHR Professional in Human Resources Certification All-in-One Exam Guide by William H. Truesdell, PDF 0071825207
Comparative analysis of authentication schemes: on a Java Card smart card by José Rafael Trigueiro de Carvalho, PDF 3330735368
Node.js Design Patterns – Second Edition: Master best practices to build modular and scalable server-side web applications by Mario Casciaro, PDF 1785885588
JMP 13 Scripting Guide by SAS, PDF 1629604763
Pragmatic Software Testing: Becoming an Effective and Efficient Test Professional by Rex Black, PDF 0470127902
Econometric Analysis of Carbon Markets: The European Union Emissions Trading Scheme and the Clean Development Mechanism by Julien Chevallier, PDF 9400796668

Leave a Reply

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