On more dependable assertion-based verification.

Carna Radojicic Javier Moreno Xiao Pan Christoph Grimm

Published in: IECON (2013)

Keyphrases

model checking
formal verification
fault tolerant
information retrieval
neural network
person identification
case study
distributed systems
verification method
data sets
face verification
smart card
multiresolution
bayesian networks
website
knowledge base
artificial intelligence