Building Verification Condition Generators by Compositional Extensions.

I. S. W. B. Prasetya A. Azurat Tanja E. J. Vos Arthur van Leeuwen

Published in: SEFM (2005)

Keyphrases

sufficient conditions
face verification
multiresolution
model checking
efficient implementation
real time
artificial intelligence
face detection
signature verification
concurrent systems