On parametrized verification of asynchronous, shared-memory pushdown systems.

Marie Fortin Anca Muscholl Igor Walukiewicz

Published in: CoRR (2016)

Keyphrases

shared memory
model checking
parallel algorithm
asynchronous circuits
computer vision
message passing
computing systems
distributed memory
parallel computing
parallel programming
heterogeneous platforms