Exploiting Pointer Analysis in Memory Models for Deductive Verification.

Quentin Bouillaguet François Bobot Mihaela Sighireanu Boris Yakobowski

Published in: VMCAI (2019)

Keyphrases

probabilistic model
data structure
real time
empirical data
formal analysis
database systems
data analysis
image analysis
computational models
artificial intelligence
decision making
decision trees
case study
process model
quantitative analysis
random access