Coverage-oriented verification of banias.

Published in: DAC (2003)

Keyphrases

model checking
verification method
data sets
real time
neural network
real world
data mining
decision making
e learning
face recognition
multiresolution
test suite
formal methods