Incrementally predictive runtime verification.

Angelo Ferrando Giorgio Delzanno

Published in: J. Log. Comput. (2023)

Keyphrases

model checking
face verification
database
case study
signature verification
incremental algorithms
data sets
databases
genetic algorithm
computer vision
web services
digital images
formal verification
verification method
false acceptance