Exploring Tabular Verification and Refinement.

Emil Sekerinski

Published in: Formal Aspects Comput. (2003)

Keyphrases

model checking
refinement process
decision trees
verification method
asynchronous circuits
handwritten signature verification
real world
face verification
false acceptance rate
concurrent systems
formal verification
signature verification
real time
multiresolution
face recognition
database systems
data sets