Synopsis
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.
"synopsis" may belong to another edition of this title.
About the Author
Tomáš Fiedor received his Master's degree at Faculty of Information Technology, Brno University of Technology. He is interested in theoretical computer science and verification of complex programs and computer systems, and is currently pursuing a Ph.D. degree in these areas.
"About this title" may belong to another edition of this title.
Search results for A Decision Procedure For The WSkS Logic
Stock Image
A Decision Procedure For The WSkS Logic
Published by
LAP LAMBERT Academic Publishing, 2014
ISBN 10: 3659635839
ISBN 13: 9783659635830
New
Softcover
Seller: Books Puddle, New York, NY, U.S.A.
Seller rating 4 out of 5 stars
Condition: New. Seller Inventory # 26357281190
Stock Image
A Decision Procedure For The WSkS Logic
Published by
LAP LAMBERT Academic Publishing, 2014
ISBN 10: 3659635839
ISBN 13: 9783659635830
New
Softcover
Seller: Majestic Books, Hounslow, United Kingdom
Seller rating 4 out of 5 stars
Condition: New. Print on Demand. Seller Inventory # 356258425
Buy New
£ 38.10
£ 6.50 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 4 available
Seller Image
A Decision Procedure For The WSkS Logic
Published by
LAP LAMBERT Academic Publishing Nov 2014, 2014
ISBN 10: 3659635839
ISBN 13: 9783659635830
New
Taschenbuch
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. 60 pp. Englisch. Seller Inventory # 9783659635830
Stock Image
A Decision Procedure For The WSkS Logic
Published by
LAP LAMBERT Academic Publishing, 2014
ISBN 10: 3659635839
ISBN 13: 9783659635830
New
Softcover
Seller: Biblios, Frankfurt am main, HESSE, Germany
Seller rating 4 out of 5 stars
Condition: New. PRINT ON DEMAND. Seller Inventory # 18357281196
Seller Image
A Decision Procedure For The WSkS Logic
Published by
LAP LAMBERT Academic Publishing, 2014
ISBN 10: 3659635839
ISBN 13: 9783659635830
New
Softcover
Seller: moluna, Greven, Germany
Seller rating 4 out of 5 stars
Condition: New. Seller Inventory # 5170048
Buy New
£ 23.18
£ 42.33 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: Over 20 available
Seller Image
A Decision Procedure For The WSkS Logic
Published by
LAP LAMBERT Academic Publishing Nov 2014, 2014
ISBN 10: 3659635839
ISBN 13: 9783659635830
New
Taschenbuch
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. This item is printed on demand - Print on Demand Titel. Neuware -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.VDM Verlag, Dudweiler Landstraße 99, 66123 Saarbrücken 60 pp. Englisch. Seller Inventory # 9783659635830
Seller Image
A Decision Procedure For The WSkS Logic
Published by
LAP LAMBERT Academic Publishing, 2014
ISBN 10: 3659635839
ISBN 13: 9783659635830
New
Taschenbuch
Seller: AHA-BUCH GmbH, Einbeck, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. nach der Bestellung gedruckt Neuware - Printed after ordering - 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. Seller Inventory # 9783659635830
Seller Image
A Decision Procedure For The WSkS Logic
Published by
LAP LAMBERT Academic Publishing, 2014
ISBN 10: 3659635839
ISBN 13: 9783659635830
New
Taschenbuch
Seller: preigu, Osnabrück, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. A Decision Procedure For The WSkS Logic | Tomá¿ Fiedor | Taschenbuch | 60 S. | Englisch | 2014 | LAP LAMBERT Academic Publishing | EAN 9783659635830 | Verantwortliche Person für die EU: preigu GmbH & Co. KG, Lengericher Landstr. 19, 49078 Osnabrück, mail[at]preigu[dot]de | Anbieter: preigu. Seller Inventory # 104984698