An Approach to Automating the Verification of Compact Parallel Coordination Programs, Vol. 1 (Classic Reprint) - Softcover
Inhaltsangabe
Excerpt from An Approach to Automating the Verification of Compact Parallel Coordination Programs, Vol. 1
We have tried to apply the assertional approach [1, 11, 13, 14] to automating the debugging and correctness proof for the considered class of programs. In this approach an assertion about the program state (augmented by a number of auxiliary variables when necessary) must be supplied. From this assertion desired properties of the program are supposed to follow. The predicate that expresses the assertion must be proven true for the initial state and the true value of this predicate mist be proven invariant for any program transition. If such a proof.
About the Publisher
Forgotten Books publishes hundreds of thousands of rare and classic books. Find more at www.forgottenbooks.com
This book is a reproduction of an important historical work. Forgotten Books uses state-of-the-art technology to digitally reconstruct the work, preserving the original format whilst repairing imperfections present in the aged copy. In rare cases, an imperfection in the original, such as a blemish or missing page, may be replicated in our edition. We do, however, repair the vast majority of imperfections successfully; any imperfections that remain are intentionally left to preserve the state of such historical works.
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
Suchergebnisse für An Approach to Automating the Verification of Compact...
Foto des Verkäufers
An Approach to Automating the Verification of Compact Parallel Coordination
Print-on-DemandAnbieter: Forgotten Books, London, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Paperback. Zustand: New. Print on Demand. This book explores the field of parallel coordination programming, elucidating the complex concepts involved in designing and verifying such programs. The author introduces a class of coordination programs and delves into their properties, examining notions such as serialization, livelock, and blocking. One crucial aspect of the book is the introduction of a reachability set description (RSD), a novel representation that facilitates the analysis of program behavior for any number of processing elements. The RSD enables the construction of compact invariants, providing a powerful tool for ensuring the correctness of parallel programs. Through a series of examples and case studies, the author demonstrates the application of these concepts. The insights presented in this book empower readers to develop and verify reliable and efficient parallel coordination programs, solidifying its significance as a valuable resource for researchers and practitioners in the field of parallel computing. 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. Bestandsnummer des Verkäufers 9781528015882_0
Neu kaufen
EUR 16,05
Versand gratis
Versand von Vereinigtes Königreich nach USA
Versand von Vereinigtes Königreich nach USA
Anzahl: Mehr als 20 verfügbar
Beispielbild für diese ISBN
An Approach to Automating the Verification of Compact Parallel Coordination Programs, Vol. 1 (Classic Reprint)
Anbieter: PBShop.store US, Wood Dale, IL, USA
Verkäuferbewertung 5 von 5 Sternen
PAP. Zustand: New. New Book. Shipped from UK. Established seller since 2000. Bestandsnummer des Verkäufers LX-9781528015882
Beispielbild für diese ISBN
An Approach to Automating the Verification of Compact Parallel Coordination Programs, Vol. 1 (Classic Reprint)
Anbieter: PBShop.store UK, Fairford, GLOS, Vereinigtes Königreich
Verkäuferbewertung 4 von 5 Sternen
PAP. Zustand: New. New Book. Shipped from UK. Established seller since 2000. Bestandsnummer des Verkäufers LX-9781528015882
Neu kaufen
EUR 21,60
EUR 3,81 Versand
Versand von Vereinigtes Königreich nach USA
Versand von Vereinigtes Königreich nach USA
Anzahl: 15 verfügbar