Vladimir Anatolyevoch Zakharov Russian Federation, Moscow Academic degree Doctor of Physics and Mathematics Research area models of computation program verification mathematical logics computer security Affiliation & position National Resarch University Higher School of Economics — leading researcher Lomonosov Moscow State University — professor Institute for System Programming, RAS — senior researcher E-mail zakh@cs.msu.su
Zakharov V., Temerbekova G. On the minimization and equivalence checking of sequential reactive systems // System Informatics. — 2016. — # 7. — P. 33-44
Vinarskii E., Zakharov V. On some properties of timed finite state machines // System Informatics. — 2020. — # 17. — P. 11-20
Gnatenko A., Zakharov V. Using an extensions of CTL* for specification and verification of sequential reactive systems // System Informatics. — 2020. — # 17. — P. 21-32