On the k-Atomicity-Verification Problem.
Wojciech M. GolabJeremy HurwitzXiaozhou LiPublished in: CoRR (2013)
Keyphrases
- model checking
- electronic commerce
- social networks
- formal verification
- neural network
- information systems
- asynchronous circuits
- formal methods
- nested transactions
- transaction management
- multidatabase systems
- acid properties
- data sets
- high security
- signature verification
- transaction model
- formal analysis
- face verification
- distributed systems
- expert systems