Runtime Verification of C Memory Safety.

Grigore Rosu Wolfram Schulte Traian-Florin Serbanuta

Published in: RV (2009)

Keyphrases

model checking
memory requirements
memory usage
safety analysis
memory space
low memory
limited memory
resource consumption
formal verification
memory size
memory capacity
database
machine learning
information retrieval
knowledge base
database systems