Parameterized Verification of Asynchronous Shared-Memory Systems

Javier Esparza Pierre Ganty Rupak Majumdar

Published in: CoRR (2013)

Keyphrases

shared memory
asynchronous circuits
parallel algorithm
message passing
heterogeneous platforms
multi processor
parallel computing
parallel execution