Кондратьев Д.А., Марьясов И.В., Непомнящий В.А. Верификация финитной итерации над массивами с выходом из цикла в Си программах // № 10, 2017
Кондратьев Д.А., Промский А.В. Комплексный подход к локализации ошибок при верификации Си-программ // № 1, 2013
Гнатенко А.Р., Захаров В.А. Применение одного расширения CTL* для спецификации и верификации последовательных реагирующих систем // № 17, 2020