A Survey of Verification Techniques for Parallel Programs

Howard Barringer

(0)

Erste Bewertung abgeben

Inhalt Flow & Suzuki: Total correctnes of parallel programs.- Jones: Development of interfering programs.- Lamport: Verificati...

Tiefpreis

CHF29.90

Print on Demand - Exemplar wird für Sie besorgt.

Kartonierter Einband

Beschreibung

Inhalt
Flow & Suzuki: Total correctnes of parallel programs.- Jones: Development of interfering programs.- Lamport: Verification of concurrent programs.- Owicki & Gries: Verification of parallel programs.- Apt, Francez & de Roever: Verification of CSP.- Barringer & Mearns: Verification of Ada Tasks.- Levin & Gries: Verification of CSP.- Misra & Chandy: Proofs of process networks.- Zhou & Hoare: Correctness of communicating processes.- Conclusions.