Verifying C11-Style Weak Memory Libraries via Refinement.

Sadegh Dalvandi Brijesh Dongol

Published in: CoRR (2021)

Keyphrases

memory usage
memory requirements
digital libraries
model checking
computing power
multimedia
main memory
memory capacity
memory footprint
limited memory
computational power
artificial intelligence
associative memory
temporal logic
learning environment
image processing
computer vision
genetic algorithm