Modular Verification of Concurrency-Aware Linearizability.

Nir Hemed Noam Rinetzky Viktor Vafeiadis

Published in: DISC (2015)

Keyphrases

model checking
data flow
concurrency control
functional verification
formal verification
signature verification
multiscale
database systems
neural network
bayesian networks
distributed databases
case study
machine learning
data mining
person identification
modular structure
database