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

Мисонижник А.В., Костюков Ю.О., Костицын М.П., Мордвинов Д.А., Кознов Д.В. Генерация слабейших предусловий программ с динамической памятью в символьном исполнении. Научно-технический вестник информационных технологий, механики и оптики. 2022;22(5):982-991. https://doi.org/10.17586/2226-1494-2022-22-5-982-991

For citation:

Misonizhnik A.V., Kostyukov Yu.O., Kostitsyn M.P., Mordvinov D.A., Koznov D.V. Generation of the weakest preconditions of programs with dynamic memory in symbolic execution. Scientific and Technical Journal of Information Technologies, Mechanics and Optics. 2022;22(5):982-991. (In Russ.) https://doi.org/10.17586/2226-1494-2022-22-5-982-991