Sign in

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

Nathalie BertrandNicolas MarkeyOcan SankurNicolas 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