Booster: An Acceleration-Based Verification Framework for Array Programs.

Francesco Alberti Silvio Ghilardi Natasha Sharygina

Published in: ATVA (2014)

Keyphrases

main contribution
conceptual framework
computer vision
real time
neural network
multiscale
probabilistic model
particle filter
model checking
bayesian framework
binary classification
symbolic execution