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