Verification of Programs by Combining Iterated Specialization with Interpolation.

Emanuele De Angelis Fabio Fioravanti Jorge A. Navas Maurizio Proietti

Published in: HCVS (2014)

Keyphrases

symbolic execution
hardware designs
face verification
linear interpolation
program execution
neural network
model checking
interpolation method
interpolation methods
database
real time
machine learning
learning algorithm
website
video sequences
computer programs