Static verification for memory safety of Linux kernel drivers
A. A. Vasilyev

Эта публикация цитируется в следующих статьяx:

1. A. A. Vasilyev, V. S. Mutilin, “Predicate Extension of Symbolic Memory Graphs for the Analysis of Memory Safety Correctness”, Program Comput Soft, 46:8 (2020), 747  
2. А. А. Васильев, В. С. Мутилин, “Анализ корректности работы с памятью с использованием расширения теории символьных графов предикатами над символьными значениями”, Труды ИСП РАН, 31:6 (2019), 7–20