Dynamic Verification of C11 Concurrency over Multi Copy Atomics.

Sanjana Singh Divyanjali Sharma Subodh Sharma

Published in: TASE (2021)

Keyphrases

dynamic environments
dynamically changing
databases
website
web pages
case study
data structure
management system
model checking
data flow
verification method