Verifying Parallel Loops with Separation Logic.
Stefan BlomSaeed DarabiMarieke HuismanPublished in: PLACES (2014)
Keyphrases
- parallel processing
- shared memory
- model checking
- modal logic
- information retrieval
- logic programming
- formal theory
- parallel computation
- predicate logic
- parallel programming
- massively parallel
- parallel hardware
- asynchronous circuits
- nonmonotonic logics
- computational properties
- database
- parallel implementation
- data mining