Title: Concurrency verification
Subjects: Parallel processing (Electronic computers), Verification, Computer software, Parallel processing (electronic computers), Computer software, verification