Verifying Parallel Algorithms and Programs Using Coloured Petri Nets.
Michael WestergaardPublished in: Trans. Petri Nets Other Model. Concurr. (2012)
Keyphrases
- parallel algorithm
- coloured petri nets
- formal verification
- model checking
- shared memory
- parallel computation
- parallel programming
- multicore processors
- parallel version
- medial axis transform
- parallel implementations
- search algorithm
- cluster of workstations
- graphics processors
- pc cluster
- parallel computers
- processor array
- combinatorial search problems
- general purpose