Incrementally Predictive Runtime Verification.

Angelo Ferrando Giorgio Delzanno

Published in: CILC (2021)

Keyphrases

model checking
formal verification
databases
neural network
face recognition
predictive model
asynchronous circuits
learning algorithm
feature selection
face verification
verification method
functional verification