Run-Time Verification of Optimistic Concurrency.

Ali Sezgin Serdar Tasiran Kivanç Muslu Shaz Qadeer

Published in: RV (2010)

Keyphrases

optimistic concurrency control
model checking
concurrency control
database systems
artificial neural networks
face verification
computer vision
concurrent execution
database
information retrieval
formal methods
formal analysis
signature verification