D. A. Kondratyev, I. V. Maryasov, V. A. Nepomniaschy, “The automation of C program verification by the symbolic method of loop invariant elimination”, Autom. Control Comp. Sci., 53:7 (2019), 653–662
Dmitry Kondratyev, Ilya Maryasov, Valery Nepomniaschy, Lecture Notes in Computer Science, 11964, Perspectives of System Informatics, 2019, 232
D. A. Kondratev, I. V. Maryasov, V. A. Nepomnyaschii, “Avtomatizatsiya verifikatsii C-programm s ispolzovaniem simvolicheskogo metoda eliminatsii invariantov tsiklov”, Model. i analiz inform. sistem, 25:5 (2018), 491–505
Dmitry Kondratyev, Ilya Maryasov, Valery Nepomniaschy, “The Automation of C Program Verification by Symbolic Method of Loop Invariants Elimination”, Model. anal. inf. sist., 25:5 (2018), 491
Dmitry Kondratyev, Lecture Notes in Computer Science, 10742, Perspectives of System Informatics, 2018, 227
I. V. Maryasov, V. A. Nepomniaschy, D. A. Kondratyev, “Invariant elimination of definite iterations over arrays in C programs verification”, Model. i analiz inform. sistem, 24:6 (2017), 743–754