Concurrency Verification
Introduction to Compositional and Noncompositional Methods
778 pages, parution le 09/11/2001
Résumé
This book presents a semantically-oriented state-based
mathematical theory of compositional and noncompositional
verification of concurrent programs that highlights
essential concepts. Key features are compositional proof
methods for the verification of concurrent programs, in
particular, to Misra & Chandy's assumption-commitment
and Jones' rely-guarantee paradigms for the correct
development of open systems, and Francez'
communication-closed-layers paradigm for the verification
of network protocols. Every method is illustrated by
examples.
Contents
- Part I Introduction and Overview
- Introduction
- Part II The Inductive assertion method
- Floyd's Inductive Assertion Method for Transition Diagrams
- The Inductive assertion method for shared-Variable concurrency
- The Inductive assertion method for synchronous message passing
- Expressibility and relative completeness
- Part III Compositional Methods based on Assertion Networks
- Introduction to Compositional reasoning
- Compositional Proof Methods: Synchronous Message Passing
- Compositional Proof Methods : Shared-Variable Conccurency
- Part IV: Hoare Logic
- A Proof System for Sequential Programs Using Hoare Triples
- A Hoare Logic for Shared-Variable Concurrency
- A Hoare Logic Synchronous Message Passing
- Part V Layered Design
- Transformational Design and Hoare Logic
Caractéristiques techniques
| PAPIER | |
| Éditeur(s) | Cambridge University Press |
| Parution | 09/11/2001 |
| Nb. de pages | 778 |
| Format | 15,5 x 23,5 |
| Couverture | Relié |
| Poids | 943g |
| Intérieur | Noir et Blanc |
| EAN13 | 9780521806084 |
Avantages Eyrolles.com
Livraison à partir de 0,01 € en France métropolitaine
Paiement en ligne SÉCURISÉ
Livraison dans le monde
Retour sous 15 jours
+ d'un million et demi de livres disponibles
Consultez aussi
- Les meilleures ventes en Graphisme & Photo
- Les meilleures ventes en Informatique
- Les meilleures ventes en Construction
- Les meilleures ventes en Entreprise & Droit
- Les meilleures ventes en Sciences
- Les meilleures ventes en Littérature
- Les meilleures ventes en Arts & Loisirs
- Les meilleures ventes en Vie pratique
- Les meilleures ventes en Voyage et Tourisme
- Les meilleures ventes en BD et Jeunesse
