Context-Bounded Verification of Liveness Properties for Multithreaded Shared-Memory Programs.
Pascal BaumannRupak MajumdarRamanathan S. ThinniyamGeorg ZetzschePublished in: CoRR (2020)
Keyphrases
- shared memory
- message passing
- parallel algorithm
- parallel programming
- distributed memory
- parallel computing
- multi processor
- coarse grained
- multithreading
- parallel machines
- parallel architectures
- model checking
- parallel computation
- parallel computers
- parallel architecture
- program execution
- address space
- programming environment
- three dimensional