Alexey Vladimirovitch Khoroshilov Russian Federation, Moscow Academic degree Candidate of Physics and Mathematics Research area program verification operating systems Affiliation & position Ivannikov Institute for System Programming of RAS — leading researcher Lomonosov Moscow State University — associate professor E-mail khoroshilov@ispras.ru
Kuliamin V., Petrenko A., Khoroshilov A. Verification of Operating System Components // System Informatics. — 2017. — # 10. — P. 11-22
