Local Symmetry and Compositional Verification.

Kedar S. Namjoshi Richard J. Trefler

Published in: VMCAI (2012)

Keyphrases

symmetry detection
model checking
real time
signature verification
bilateral symmetry
face recognition
objective function
digital libraries
distributed systems
asynchronous circuits
verification method