Verification of Several Parallel, Vol. 36: Coordination Programs Based on Descriptions of Their Reachability Sets (Classic Reprint) - Softcover
Synopsis
This book introduces a new method to verify parallel programs for any fixed number of processors. The method uses a special compact representation to describe all execution states of programs, which aids in verifying the properties that cannot be easily expressed as 'predicate(state)'. The method is demonstrated by verifying correctness properties of several parallel programming examples, especially those that deal with synchronization. It shows that the method can detect subtle race conditions and other timing-based bugs which traditional verification methods (such as those based on finite state machines) cannot detect. Altogether, this book broadens the range of parallel programs that can be verified.
"synopsis" may belong to another edition of this title.
Other Popular Editions of the Same Title
Search results for Verification of Several Parallel, Vol. 36: Coordination...
Seller Image
Verification of Several Parallel, Vol. 36 (Classic Reprint)
Print on DemandSeller: Forgotten Books, London, United Kingdom
Seller rating 5 out of 5 stars
Paperback. Condition: New. Print on Demand. This book introduces a new method to verify parallel programs for any fixed number of processors. The method uses a special compact representation to describe all execution states of programs, which aids in verifying the properties that cannot be easily expressed as 'predicate(state)'. The method is demonstrated by verifying correctness properties of several parallel programming examples, especially those that deal with synchronization. It shows that the method can detect subtle race conditions and other timing-based bugs which traditional verification methods (such as those based on finite state machines) cannot detect. Altogether, this book broadens the range of parallel programs that can be verified. This book is a reproduction of an important historical work, digitally reconstructed using state-of-the-art technology to preserve the original format. In rare cases, an imperfection in the original, such as a blemish or missing page, may be replicated in the book. print-on-demand item. Seller Inventory # 9781332209255_0
Buy New
US$ 17.62
Free Shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: Over 20 available
Stock Image
Verification of Several Parallel, Vol 36 Coordination Programs Based on Descriptions of Their Reachability Sets Classic Reprint
Seller: PBShop.store US, Wood Dale, IL, U.S.A.
Seller rating 5 out of 5 stars
PAP. Condition: New. New Book. Shipped from UK. Established seller since 2000. Seller Inventory # LW-9781332209255
Stock Image
Verification of Several Parallel, Vol 36 Coordination Programs Based on Descriptions of Their Reachability Sets Classic Reprint
Seller: PBShop.store UK, Fairford, GLOS, United Kingdom
Seller rating 4 out of 5 stars
PAP. Condition: New. New Book. Shipped from UK. Established seller since 2000. Seller Inventory # LW-9781332209255
Buy New
US$ 24.56
US$ 4.48 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 15 available