Sign in

A Context-Sensitive Memory Model for Verification of C/C++ Programs.

Arie GurfinkelJorge A. Navas
Published in: SAS (2017)
Keyphrases
  • context sensitive
  • probabilistic model
  • language model
  • statistical model
  • data mining
  • learning algorithm
  • supervised learning
  • theoretical analysis
  • parameter estimation
  • high order