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

By Howard Barringer

ISBN-10: 3540152393

ISBN-13: 9783540152392

ISBN-10: 3540394168

ISBN-13: 9783540394167

Show description

Read Online or Download A Survey of Verification Techniques for Parallel Programs PDF

Similar techniques books

Download PDF by David Horton MD (auth.), Karl J. Johnson MD, MRCP, FRCR,: Imaging in Pediatric Skeletal Trauma: Techniques and

It is a finished textbook on imaging of pediatric skeletal trauma. It presents a close description of the concepts used and the imaging findings, detailing their medical relevance. Emphasis is put on these accidents and their radiological good points that are vital to the orthopedic health practitioner and the winning administration of the kid.

Extra resources for A Survey of Verification Techniques for Parallel Programs

Sample text

Introduce a global assertion possibly auxiliary processes. proof they use a outlines under involving variables ( ) from all processes in order to establish "cooperation" of the Processes "cooperate" if their interactions maintain the global assertion and all the local assertions which are made. The proof method introduces "bracketed sections", These are regions of text, immediately surrounding an input/output statement,in which the global invariant need not hold, inside Variables occurring free in the global invariar~ these bracketed sections.

BL_SORT . . . . . . . . . . . . . . . . . . . t : 7"esou~'ce M(A, rdy) [ 1 . q~Dn {I(M) . . . . SEND I I COMP l ^ . . COMP2 II II ... COMPN II . . SEND : : . . . . . . . . . . . . . . . . . ___dd { NPo = j } end { . . . . SORT} . . . . } NPo=N . . . . . . . . . . . . . . . . . the number of ) version in 49 COMP~ :: ~$~h M ( $ ) =hen ~ r d ~ ( $ ) { I(M) ^ ~ r d p ( ~ ) do ^ NP~ = 0 } beg~n NP$ := I end; {Np~ for j = I } ~= I un~ N - ~ do ~fne_Dn ( ~ r d ~ ( ~ ) ^ rdy(~+1)) do beaSn s~ := max(A(~),S~); rdy(~) := #rue; rdy(~+l) NP~ := f o L s e ; := NP~.

A~('Sn')) a f t e r ( ' £ S 1 1 1 . ^uf~er('Sn')) V~. v~j. S and Gries, D. An Axiomatic Proof Technique for Parallel Programs I Acta Informatica, Vol. 6, 1976, pp. 319-340. s and Gries, D. Verifying Properties of Parallel Programs: an Axiomatic Approach Co~. [Ow7S ] ACM, Vol. 19, No. 5, May 1976, pp. 279-285. S. D. thesis, Cornell University, [Gr77 ] 1975. Gries, D. An Exercise in Proving Parallel Programs Correct Co~. 2 ACM, Vol. 20, No. 12, December 1977, pp. 921-930. OVERVIEW Susan Owicki's work on the correctness of seminal basis sequential programs The first primitive deductive system construct "structured" contained in statements, for proving GPL, contains a cobea~n ...

Download PDF sample

A Survey of Verification Techniques for Parallel Programs by Howard Barringer


by Jason
4.2

Rated 4.45 of 5 – based on 18 votes