Exploiting Pointer Analysis in Memory Models for Deductive Verification.

Quentin Bouillaguet François Bobot Mihaela Sighireanu Boris Yakobowski

Published in: CoRR (2018)

Keyphrases

formal analysis
data analysis
empirical data
experimental data
data structure
model checking
model validation
data mining
signature verification
memory usage
computational models
statistical models
statistical analysis
hidden markov models
prior knowledge
case study
decision trees
decision making