An Approach to Automating the Verification of Compact Parallel Coordination Programs, Vol. 1 (Classic Reprint) - Hardcover
Synopsis
A practical guide to proving correctness in parallel programs with automated verification.
This book presents a concrete approach to verifying compact parallel coordination programs. It introduces how auxiliary state, like counters and control variables, can be used to analyze dynamic behavior and prove properties for arbitrary numbers of processing elements. Through worked examples, the text shows how verification tools describe reachability and correctness for complex parallel systems.
- Learn how to model parallel programs with state spaces and metastates
- See how reachability descriptions and invariant assertions support proofs
- Explore real examples like readers-writers and semaphore-like synchronization
- Understand how automated verifiers generate compact proofs that hold for any number of processors
"synopsis" may belong to another edition of this title.
Search results for An Approach to Automating the Verification of Compact...
Stock Image
An Approach to Automating the Verification of Compact Parallel Coordination Programs, Vol. 1 (Classic Reprint)
Seller: PBShop.store US, Wood Dale, IL, U.S.A.
Seller rating 5 out of 5 stars
HRD. Condition: New. New Book. Shipped from UK. Established seller since 2000. Seller Inventory # LX-9780266900924
Stock Image
An Approach to Automating the Verification of Compact Parallel Coordination Programs, Vol. 1 (Classic Reprint)
Seller: PBShop.store UK, Fairford, GLOS, United Kingdom
Seller rating 5 out of 5 stars
HRD. Condition: New. New Book. Shipped from UK. Established seller since 2000. Seller Inventory # LX-9780266900924
Buy New
US$ 32.29
US$ 5.67 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 15 available