Login / Signup
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