Towards Verifying Parallel Algorithms and Programs using Coloured Petri Nets.

Michael Westergaard

Published in: PNSE (2011)

Keyphrases

parallel algorithm
coloured petri nets
formal verification
model checking
parallel computation
parallel programming
multicore processors
shared memory
parallel version
parallel implementations
cluster of workstations
real time
medial axis transform
database systems
parallel computing
general purpose
pc cluster