Program Verification Under Weak Memory Consistency Using Separation Logic.
Viktor VafeiadisPublished in: CAV (1) (2017)
Keyphrases
- random access memory
- multi valued
- memory size
- modal logic
- memory requirements
- memory space
- low memory
- consistency checking
- computational power
- computing power
- memory usage
- databases
- limited memory
- neural network
- logical framework
- classical logic
- computational properties
- global consistency
- logic programming
- data structure