Dmitry Alexandrovich Kondratyev Russian Federation, Novosibirsk Research area program semantics program verification programming languages Affiliation & position A.P. Ershov Institute of Informatics Systems — postgraduate E-mail apple-66@mail.ru
Kondratyev D., Promsky A. An integrated approach to the error localization during C program verification // System Informatics. — 2013. — # 1. — P. 79-96
Kondratyev D., Maryasov I., Nepomniaschy V. Verification of Definite Iteration over Arrays with a Loop Exit in C Programs // System Informatics. — 2017. — # 10. — P. 57-66
Kondratyev D., Promsky A. Towards automated error localization in C programs with loops // System Informatics. — 2019. — # 14. — P. 31-44
