Parallel programs (Computer programs)--Verification
URI(s)
Components
Verification 
Variants
Closely Matching Concepts from Other Schemes
Sources
found: Work cat.: Barringer, H. A survey of verification techniques for parallel programs, 1985.
found: OCLC, Feb. 22, 2006(titles: Compile-time analysis of array sections for parallelization and parallel program verification; Verification of parallel programs with the Owicki-Gries and Rely-Guarantee methods in Isabelle, HOL; Specification and verification techniques for parallel programs based on message passing semantics)
Instance Of
Scheme Membership(s)
Collection Membership(s)
Change Notes
2006-05-19: new
2006-09-18: revised
Alternate Formats
