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

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

1. Анализ корректности работы с памятью с использованием расширения теории символьных графов предикатами над символьными значениями
   
   Труды ИСП РАН, 31:6 (2019),  7–20
2. Static verification for memory safety of Linux kernel drivers
   
   Труды ИСП РАН, 30:6 (2018),  143–160