A Survey of Verification Techniques for Parallel Programs by Howard Barringer (PDF)

    0

     

    Ebook Info

    • Published: 2014
    • Number of pages: 128 pages
    • Format: PDF
    • File Size: 1.44 MB
    • Authors: Howard Barringer

    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.

    User’s Reviews

    Download

    Keywords

    Free Download A Survey of Verification Techniques for Parallel Programs in PDF format
    A Survey of Verification Techniques for Parallel Programs PDF Free Download
    Download A Survey of Verification Techniques for Parallel Programs 2014 PDF Free
    A Survey of Verification Techniques for Parallel Programs 2014 PDF Free Download
    Download A Survey of Verification Techniques for Parallel Programs PDF
    Free Download Ebook A Survey of Verification Techniques for Parallel Programs

    Previous articleThe Temporal Logic of Reactive and Concurrent Systems: Specification by Zohar Manna (PDF)
    Next articleArtificial Intelligence Today: Recent Trends and Developments (Lecture Notes in Computer Science, 1600) 1999th Edition by Michael J. Wooldridge (PDF)

    RELATED ARTICLESMORE FROM AUTHOR