Limit search to available items
Book Cover
E-book

Title Modern applications of automata theory / editors, Deepak D'Souza, Priti Shankar
Published Singapore ; Hackensack : World Scientific, ©2012
Online access available from:
World Scientific    View Resource Record  

Copies

Description 1 online resource (xvi, 656 pages) : illustrations
Series IISc research monographs series ; 2
IISc research monographs series ; 2.
Contents pt. I. Basic chapters. 1. An introduction to finite automata and their connection to logic / Howard Straubing and Pascal Weil. 2. Finite-state automata on infinite inputs / Madhavan Mukund. 3. Basics on tree automata / Christof Loding. 4. An introduction to timed automata / Paritosh K. Pandya and P. Vijay Suman -- pt. II. Verification. 5. A language-theoretic view of verification / Kamal Lodaya. 6. A framework for decentralized physical access control using finite state automata / Namit Chaturvedi, Atish Datta Chowdhury and B. Meenakshi. 7. Reasoning about heap manipulating programs using automata techniques / Supratik Chakraborty. 8. Chop expressions and discrete duration calculus / S. Ajesh Babu and Paritosh K. Pandya. 9. Automata on distributed alphabets / Madhavan Mukund. 10. The theory of message sequence charts / K. Narayan Kumar. 11. Type checking of tree walking transducers / Sebastian Maneth, Sylvia Friese and Helmut Seidl. 12. Three case studies on verification of infinite-state systems / Javier Esparza and Jorg Kreiker. 13. Introduction to hybrid automata / Madhu Gopinathan and Pavithra Prabhakar. 14. The discrete time behavior of restricted linear hybrid automata / Manindra Agrawal [and others] -- pt. III. Automata and logic. 15. Specification and verification using temporal logics / Stephane Demri and Paul Gastin. 16. Finite automata and the analysis of infinite transition systems / Wolfgang Thomas. 17. Automata over infinite alpahabets / Amaldev Manuel and R. Ramanujam. 18. Automata and logics over signals / Fabrice Chevalier [and others] -- pt. IV. Compression. 19. Syntax directed compression of trees using pushdown automata / Priti Shankar. 20. Weighted finite automata and digital images / Kamala Krithivasan and Y. Sivasubramanyam
Summary Automata theory has come into prominence in recent years with a plethora of applications in fields ranging from verification to XML processing and file compression. In fact, the 2007 Turing Award was awarded to Clarke, Emerson and Sifakis for their pioneering work on model-checking techniques. To the best of our knowledge, there is no single book that covers the vast range of applications of automata theory targeted at a mature student audience. This book is intended to fill that gap and can be used as an intermediate-level textbook. It begins with a detailed treatment of foundational material not normally covered in a beginner's course in automata theory, and then rapidly moves on to applications. The book is largely devoted to verification and model checking, and contains material that is at the cutting edge of verification technology. It will be an invaluable reference for software practitioners working in this area
Notes Title from PDF title page (viewed 7/31/18)
Bibliography Includes bibliographical references
Notes English
Subject Machine theory.
Computational complexity.
MATHEMATICS -- Infinity.
MATHEMATICS -- Logic.
Computational complexity
Machine theory
Form Electronic book
Author D'Souza, Deepak.
Shankar, P. (Priti)
ISBN 9789814271059
9814271055
1283593564
9781283593564
9786613906014
6613906018