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
Email this article (Login required)
Email the author (Login required) Editorial address: office 2136, ITMO University, Lomonosov st., 9, Saint Petersburg, Russian Federation
Correspondence address: ITMO University, Kronverksky pr., 49, litera A, Saint Petersburg, Russian Federation, 197101
Phone: +7 (812) 480-02-75
E-mail: ntvitmo@itmo.ru
