Sequential Verification Using Reverse PDR.

Tobias Seufert Christoph Scholl

Published in: MBMV (2017)

Keyphrases

model checking
database
face verification
real world
sequential search
asynchronous circuits
formal verification
false acceptance
concurrent systems
verification method
high security
test generation
digital images
objective function
feature extraction
computer vision
databases
data sets