Parameterized safety verification of round-based shared-memory systems.

Nathalie Bertrand Nicolas Markey Ocan Sankur Nicolas Waldburger

Published in: CoRR (2022)

Keyphrases

shared memory
message passing
heterogeneous platforms
parallel algorithm
multi processor
high quality
scheduling problem
embedded systems
parallel programming
safety analysis