Highly Automated Formal Proofs over Memory Usage of Assembly Code.

Freek Verbeek Joshua A. Bockenek Binoy Ravindran

Published in: TACAS (2) (2020)

Keyphrases

memory usage
formal proofs
memory footprint
source code
data driven
memory requirements
semi automated
static analysis
data sets
semi automatic
fully automated
real world
machine learning
context sensitive
error correcting
visually guided