Better Verification Through Symmetry.

C. Norris Ip David L. Dill

Published in: Formal Methods Syst. Des. (1996)

Keyphrases

symmetry detection
model checking
medial axes
verification method
information systems
bilateral symmetry
expert systems
face verification
formal verification
signature verification
rotational symmetry
false acceptance rate
symmetry breaking
real time
medial axis
learning environment
neural network
databases