Lazy Compositional Verification.

Natarajan Shankar

Published in: COMPOS (1997)

Keyphrases

model checking
formal verification
face verification
signature verification
real world
machine learning
search engine
digital libraries
expert systems
probability distribution
digital images
test generation
verification method