Round-Up: Runtime Verification of Quasi Linearizability for Concurrent Data Structures.

Lu Zhang Arijit Chattopadhyay Chao Wang

Published in: IEEE Trans. Software Eng. (2015)

Keyphrases

data structure
model checking
data types
person identification
signature verification
real time
database
mutual exclusion
face verification
formal methods
runtime environment
efficient data structures
concurrent systems
formal verification
suffix tree
b tree
machine learning
real world
databases