Parameterized Verification of Asynchronous Shared-Memory Systems.

Javier Esparza Pierre Ganty Rupak Majumdar

Published in: CAV (2013)

Keyphrases

shared memory
asynchronous circuits
parallel algorithm
message passing
distributed systems
parallel architectures
heterogeneous platforms
real time
distributed memory
parallel computers