Prioritizing verification via value-based correctness criticality.

Joonhyuk Yoo Manoj Franklin

Published in: ICCD (2007)

Keyphrases

model checking
formal verification
face verification
formal analysis
neural network
social networks
decision trees
handwritten signature verification
real time
concurrent systems
provably correct
signature verification
video sequences
case study
artificial intelligence
data mining
real world