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
Д. А. Кондратьев, И. В. Марьясов, В. А. Непомнящий, “Автоматизация верификации C-программ с использованием символического метода элиминации инвариантов циклов”, Модел. и анализ информ. систем, 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”, Модел. и анализ информ. систем, 24:6 (2017), 743–754