Андрианов Павел Сергеевич Россия, Москва Степень кандидат физико-математических наук Область научных интересов многопоточные программы статическая верификация динамическая верификация Место работы и должность Институт системного программирования РАН им. В.П.Иванникова — научный сотрудник Адрес электронной почты andrianov@ispras.ru
Андрианов П.С., Мутилин В.С. Проверка корректности модели памяти методами статического анализа // Системная информатика. — 2023. — № 22. — С. 1-10
