Verifying Heap-Manipulating Programs in an SMT Framework.

Zvonimir Rakamaric Roberto Bruttomesso Alan J. Hu Alessandro Cimatti

Published in: ATVA (2007)

Keyphrases

main contribution
data sets
real time
data mining
probabilistic model
data structure
lightweight
theoretical framework