Login / Signup
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