Vadim Sergeevich Mutilin Russian Federation, Moscow Academic degree Candidate of Physics and Mathematics Research area multithreaded programs static verification dynamic verification Affiliation & position Ivannikov Institute for System Programming of RAS — leading researcher Московский физико-технический институт — lecturer E-mail mutilin@ispras.ru
Andrianov P., Mutilin V. Static Memory Consistency Constraints Checking // System Informatics. — 2023. — # 22. — P. 1-10
