Concurrency Verification - Introduction to Compositional and Non-Compositional Methods

Klappentext An advanced 2001 textbook on verification of concurrent programs using a semantic approach which highlights concepts clearly. Zusammenfassung This 2001 book is an introduction to verifying concurrent programs scaling up to a realistic size. It is self-contained and comprehensive! guiding the reader from advanced undergraduate level. Every method is illustrated by examples! and a picture gallery of some of the subject's key figures complements the text. Inhaltsverzeichnis Preface; Part I. Introduction and Overview: 1. Introduction; Part II. The Inductive Assertion Method: 2. Floyd's inductive assertion method for transition diagrams; 3. The inductive assertion method for shared-variable concurrency; 4. The inductive assertion method for synchronous message passing; 5. Expressibility and relative completeness; Part III. Compositional Proof Methods: 6. Introduction to compositional reasoning; 7. Compositional proof methods: synchronous message passing; 8. Compositional proof methods: shared-variable concurrency; Part IV. Hoare Logic: 9. A proof system for sequential programs using Hoare triples; 10. A Hoare logic for shared-variable concurrency; 11. A Hoare logic for synchronous message passing; Part V. Layered Design: 12. Transformational design and Hoare logic; Bibliography; Glossary of symbols; Index.

Dettagli sul prodotto

• Autori: Frank de Boer, Willem-Paul Boer De Roever, de Boer Frank, Ulrich Hanneman, Willem-Paul Boer Roever, Willem-Paul De Roever, Hanneman Ulrich, de Roever Willem-Paul
• Editore: Cambridge University Press ELT
• Lingue: Inglese
• Formato: Tascabile
• Pubblicazione: 26.01.2012
• EAN: 9780521169325
• ISBN: 978-0-521-16932-5
• Pagine: 800
• Serie: Cambridge Tracts in Theoretica
• Categoria: Scienze naturali, medicina, informatica, tecnica > Informatica, EDP > Linguaggi di programmazione