On the k-Atomicity-Verification Problem.

Wojciech M. Golab Jeremy Hurwitz Xiaozhou Li

Published in: ICDCS (2013)

Keyphrases

model checking
transaction management
data sets
multidatabase systems
expert systems
fingerprint verification
verification method
database
real time
artificial intelligence
decision trees
formal methods
formal verification
functional verification