Group Testing and Batch Verification.

Gregory M. Zaverucha Douglas R. Stinson

Published in: IACR Cryptol. ePrint Arch. (2009)

Keyphrases

group testing
disjoint sets
model checking
signature verification
formal analysis
formal verification
verification method
real time
genetic algorithm
artificial intelligence
knowledge base
semi supervised
test generation
batch mode
asynchronous circuits
functional verification