Parameterized Safety Verification of Round-Based Shared-Memory Systems.

Nathalie Bertrand Nicolas Markey Ocan Sankur Nicolas Waldburger

Published in: ICALP (2022)

Keyphrases

shared memory
heterogeneous platforms
message passing
parallel algorithm
multi processor
parallel computing
image processing
distributed systems
computing systems
safety analysis
parallel computation
parallel programming
parallel architectures