Predicate Extension of Symbolic Memory Graphs for the Analysis of Memory Safety Correctness.

Anton A. Vasilyev Vadim S. Mutilin

Published in: Program. Comput. Softw. (2020)

Keyphrases

memory usage
data sets
data analysis
memory requirements
computing power
database
data mining
image segmentation
graph matching
computational power
memory size
pruning power