Title: A survey of verification techniques for parallel programs
Subjects: Computer programs, Parallel processing (Electronic computers), Verification, Parallel programs (Computer programs)