Title: A survey of verification techniques for parallel programs
Subjects: Parallel processing (Electronic computers), Verification, Computer programs, Parallelisme (Informatique), Parallel programs (Computer programs), Programmverifikation, Logiciels, Programmierung, Parallelverarbeitung, Verifikation, Parallel processing (electronic computers)