Computer-Aided Verification of Coordinating Processes: The Automata-Theoretic Approach

Author:   Robert P. Kurshan
Publisher:   Princeton University Press
ISBN:  

9780691634890


Pages:   284
Publication Date:   19 April 2016
Format:   Hardback
Availability:   Manufactured on demand   Availability explained
We will order this item for you from a manufactured on demand supplier.

Our Price $230.00 Quantity:  
Add to Cart

Share |

Computer-Aided Verification of Coordinating Processes: The Automata-Theoretic Approach


Add your own review!

Overview

Formal verification increasingly has become recognized as an answer to the problem of how to create ever more complex control systems, which nonetheless are required to behave reliably. To be acceptable in an industrial setting, formal verification must be highly algorithmic; to cope with design complexity, it must support a top-down design methodo

Full Product Details

Author:   Robert P. Kurshan
Publisher:   Princeton University Press
Imprint:   Princeton University Press
Dimensions:   Width: 15.20cm , Height: 1.80cm , Length: 22.90cm
Weight:   0.567kg
ISBN:  

9780691634890


ISBN 10:   0691634890
Pages:   284
Publication Date:   19 April 2016
Audience:   College/higher education ,  Professional and scholarly ,  Tertiary & Higher Education ,  Professional & Vocational
Format:   Hardback
Publisher's Status:   Active
Availability:   Manufactured on demand   Availability explained
We will order this item for you from a manufactured on demand supplier.
Language:   English

Table of Contents

Preface1Introduction32Boolean Algebra313L-matrix454L-language515String Acceptors636[omega]-theory: L-automaton/L-process777The Selection/Resolution Model1098Reduction of Verification1539Structural Induction20310Binary Decision Diagrams215Appendices231Bibliography241Glossary263Index264

Reviews

A self-contained introduction for anyone familiar with the fundamentals of the theory of machines. The book is well indexed and contains a substantial bibliography, as well as pointing to the implementation of the verification techniques in the COSPAN system. --Computing Reviews


Author Information

Tab Content 6

Author Website:  

Customer Reviews

Recent Reviews

No review item found!

Add your own review!

Countries Available

All regions
Latest Reading Guide

ls

Shopping Cart
Your cart is empty
Shopping cart
Mailing List