A challenge for atomicity verification.

Wim H. Hesselink

Published in: Sci. Comput. Program. (2008)

Keyphrases

electronic commerce
model checking
data sets
face verification
formal verification
data mining
database systems
database management systems
fine grained
transaction management
multidatabase systems
acid properties
functional verification