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