A Survey of Verification Techniques for Parallel Programs
Published on 1. May 1985
Book
Paperback/Softback
VIII, 120 pages
978-3-540-15239-2 (ISBN)
Description
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.
More details
Series
Edition
1985 ed.
Language
English
Place of publication
Berlin
Germany
Publishing group
Springer Berlin
Target group
Professional and scholarly
Research
Illustrations
VIII, 120 p.
Dimensions
Height: 235 mm
Width: 155 mm
Thickness: 8 mm
Weight
207 gr
ISBN-13
978-3-540-15239-2 (9783540152392)
DOI
10.1007/3-540-15239-3
Schweitzer Classification
Content
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.