Verification of Several Parallel, Vol. 36: Coordination Programs Based on Descriptions of Their Reachability Sets (Classic Reprint) - Hardcover

B. D. Lubachevsky

9780484720557: Verification of Several Parallel, Vol. 36: Coordination Programs Based on Descriptions of Their Reachability Sets (Classic Reprint)

Hardcover

ISBN 10: 0484720554 ISBN 13: 9780484720557

Publisher: Forgotten Books, 2018

View all copies of this ISBN edition

0 Used

2 New

From US$ 32.24

A practical guide to verifying parallel programs using reachability sets and graph analysis.

It explains how to detect race conditions and design robust synchronization.

The work presents a formal approach to abstract programs that model many processing elements (PEs). Readers learn how to describe program states with graphs, counters, and replacing functions, then use these models to verify correctness properties.

With clear steps and concrete examples, the book shows how to convert code behavior into a verification problem, including techniques to handle indivisibility and to identify critical conditions that lead to bugs in parallel systems.

Model abstract programs as graphs with positions, counters, and directing rules.
Apply procedures to generate reachability sets and detect race conditions.
Understand how to reason about synchronization and liveness in parallel environments.
Explore how formal methods can aid automatic verification for arbitrary numbers of processing elements.

Ideal for readers of formal methods, parallel computing, and verification techniques.

"synopsis" may belong to another edition of this title.