Для цитирования:

Герасимов А.Ю., Куц Д.О., Новиков А.А. Формальная модель обнаружения программных ошибок с помощью символьного исполнения программ. Труды Института системного программирования РАН. 2019;31(6):21-32. https://doi.org/10.15514/ISPRAS-2019-31(6)-2

For citation:

Gerasimov A.Yu., Kuts D.O., Novikov A.A. A formal model for program defect detection using symbolic program execution. Proceedings of the Institute for System Programming of the RAS (Proceedings of ISP RAS). 2019;31(6):21-32. (In Russ.) https://doi.org/10.15514/ISPRAS-2019-31(6)-2