Evgeny Anatolyevich GERLITS
Ivannikov Institute for System Programming of the Russian Academy of Scienceskildishev@ispras.ru
Russian Federation

Researcher at the Software Engineering Department 

Denis Stepanovich KILDISHEV
Ivannikov Institute for System Programming of the Russian Academy of Scienceskildishev@ispras.ru
Russian Federation

Junior Researcher of the Software Engineering Department

Alexey Vladimirovich KHOROSHILOV
Ivannikov Institute for System Programming of the Russian Academy of Sciences, Lomonosov Moscow State University, Moscow Institute of Physics and Technology (MIPT), National Research University, Higher School of Economics
Russian Federation

Ph.D. in Physics and Mathematics, Leading Researcher, Director of the Linux OS Verification Center at ISP RAS, Associate Professor of System Programming Departments at Moscow State University, the Higher School of Economics, and Moscow Institute of Physics and Technology