Васильев Антон Александрович

Публикации в базе данных Math-Net.Ru

1. Coloring symbolic memory graphs to detect DRM-specific errors in Linux drivers
   
   Труды ИСП РАН, 37:5 (2025),  67–80
2. Анализ корректности работы с памятью с использованием расширения теории символьных графов предикатами над символьными значениями
   
   Труды ИСП РАН, 31:6 (2019),  7–20
3. Static verification for memory safety of Linux kernel drivers
   
   Труды ИСП РАН, 30:6 (2018),  143–160