Stock image for illustration purposes only - book cover, edition or condition may vary.
Computer-Aided Verification of Coordinating Processes: The Automata-Theoretic Approach
Robert P. Kurshan
€ 176.45
FREE Delivery in Ireland
Description for Computer-Aided Verification of Coordinating Processes: The Automata-Theoretic Approach
Hardback. Series: Princeton Legacy Library. Num Pages: 284 pages, black & white illustrations. BIC Classification: PBKD; TGPC; TJFM; UGC. Category: (P) Professional & Vocational; (U) Tertiary Education (US: College). Dimension: 229 x 152 x 18. Weight in Grams: 571.
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 methodology that leads from an abstract design to its detailed implementation. That combination of requirements points directly to the widely recognized solution of automata-theoretic verification, on account of its expressiveness, computational complexity, and perhaps general utility as well. This book develops the theory of automata-theoretic verification from ... Read more
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 methodology that leads from an abstract design to its detailed implementation. That combination of requirements points directly to the widely recognized solution of automata-theoretic verification, on account of its expressiveness, computational complexity, and perhaps general utility as well. This book develops the theory of automata-theoretic verification from ... Read more
Product Details
Format
Hardback
Publication date
2019
Publisher
Princeton University Press United States
Number of pages
284
Condition
New
Series
Princeton Legacy Library
Number of Pages
284
Place of Publication
New Jersey, United States
ISBN
9780691634890
SKU
V9780691634890
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for Computer-Aided Verification of Coordinating Processes: The Automata-Theoretic Approach
"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
Computing Reviews