Runtime verification of memory safety via source transformation.

Zhe Chen Junqi Yan Wenming Li Ju Qian Zhiqiu Huang

Published in: ICSE (Companion Volume) (2018)

Keyphrases

computing power
memory space
databases
model checking
multiple sources
low memory
limited memory
learning algorithm
computational complexity
distributed systems
memory requirements
nuclear power plant