Practical Abstractions for Automated Verification of Shared-Memory Concurrency.
Wytse OortwijnDilian GurovMarieke HuismanPublished in: VMCAI (2020)
Keyphrases
- shared memory
- automated verification
- message passing
- model checking
- parallel algorithm
- multi processor
- distributed memory
- parallel computing
- parallel programming
- formal verification
- address space
- automated reasoning
- parallel architectures
- parallel tree search
- parallel architecture
- parallel machines
- knowledge representation
- artificial intelligence
- multi core systems
- shared memory multiprocessors
- machine learning