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

Arie Gurfinkel Jorge 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