Sign in

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

Francesco AlbertiSilvio GhilardiNatasha 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