Thread Verification - An Experience Report.

Published in: Electron. Notes Theor. Comput. Sci. (2007)

Keyphrases

model checking
verification method
database
neural network
special case
high security
finer granularity
databases
multimedia
case study
evolutionary algorithm
concurrent systems
false acceptance rate