Book Description Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -While the classic model checking problem is to decide whether a finite system satisfies a specification, the goal of parameterized model checking is to decide, given finite systems (n) parameterized by n , whether, for all n , the system (n) satisfies a specification. In this book we consider the important case of (n) being a concurrent system, where the number of replicated processes depends on the parameter n but each process is independent of n. Examples are cache coherence protocols, networks of finite-state agents, and systems that solve mutual exclusion or scheduling problems. Further examples are abstractions of systems, where the processes of the original systems actually depend on the parameter. The literature in this area has studied a wealth of computational models based on a variety of synchronization and communication primitives, including token passing, broadcast, and guarded transitions. Often, different terminology is used in the literature, and results are based on implicit assumptions. In this book, we introduce a computational model that unites the central synchronization and communication primitives of many models, and unveils hidden assumptions from the literature. We survey existing decidability and undecidability results, and give a systematic view of the basic problems in this exciting research area. 172 pp. Englisch. Seller Inventory # 9783031008832

More information about this seller | Contact seller

Buy New

� 42.22

Convert currency

Add to Basket

Shipping: � 19.59

From Germany to U.S.A.

Destination, rates & speeds

Stock Image

Decidability of Parameterized Verification

Bloem, Roderick, Jacobs, Swen, Kalimov, Ayrat, Konnov, Igor

Published by Springer (2015)

ISBN 10: 3031008839 ISBN 13: 9783031008832

New Softcover Quantity: 15

Seller:

Kennys Bookshop and Art Galleries Ltd.
(Galway, GY, Ireland)

Rating

Seller Rating:

Book Description Condition: New. 2015. Paperback. . . . . . Seller Inventory # V9783031008832

More information about this seller | Contact seller

Buy New

� 58.48

Convert currency

Add to Basket

Shipping: � 8.94

From Ireland to U.S.A.

Destination, rates & speeds

Seller Image

Decidability of Parameterized Verification

Roderick Bloem

Published by Springer International Publishing (2015)

ISBN 10: 3031008839 ISBN 13: 9783031008832

New Taschenbuch Quantity: 1

Seller:

AHA-BUCH GmbH
(Einbeck, Germany)

Rating

Seller Rating:

Book Description Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - While the classic model checking problem is to decide whether a finite system satisfies a specification, the goal of parameterized model checking is to decide, given finite systems (n) parameterized by n , whether, for all n , the system (n) satisfies a specification. In this book we consider the important case of (n) being a concurrent system, where the number of replicated processes depends on the parameter n but each process is independent of n. Examples are cache coherence protocols, networks of finite-state agents, and systems that solve mutual exclusion or scheduling problems. Further examples are abstractions of systems, where the processes of the original systems actually depend on the parameter. The literature in this area has studied a wealth of computational models based on a variety of synchronization and communication primitives, including token passing, broadcast, and guarded transitions. Often, different terminology is used in the literature, and results are based on implicit assumptions. In this book, we introduce a computational model that unites the central synchronization and communication primitives of many models, and unveils hidden assumptions from the literature. We survey existing decidability and undecidability results, and give a systematic view of the basic problems in this exciting research area. Seller Inventory # 9783031008832

More information about this seller | Contact seller

Buy New

� 44.86

Convert currency

Add to Basket

Shipping: � 28.09

From Germany to U.S.A.

Destination, rates & speeds

Stock Image