Pavel Sergeevich Andrianov 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 — researcher E-mail andrianov@ispras.ru
Andrianov P., Mutilin V. Static Memory Consistency Constraints Checking // System Informatics. — 2023. — # 22. — P. 1-10
