9781332209255 - verification of several parallel, vol. 36: coordination programs based on descriptions of their reachability sets (classic reprint) di lubachevsky, b. d. (3 risultati)

PAP. Condizione: New. New Book. Shipped from UK. Established seller since 2000.

PAP. Condizione: New. New Book. Shipped from UK. Established seller since 2000.

Paperback. Condizione: 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.…