Parameterized Verification of Asynchronous Shared-Memory Systems.

Javier Esparza Pierre Ganty Rupak Majumdar

Published in: J. ACM (2016)

Keyphrases

shared memory
asynchronous circuits
parallel algorithm
heterogeneous platforms
distributed memory
message passing
parallel computation
parallel programming
parallel architectures
parallel computing
parallel execution