Author Aleksandr V. Misonizhnik Journal Scientific and Technical Of Information Technologies, Mechanics and Optics

2024 , VOLUME 24, NUMBER 2 ( march-april )

ISSN 2226-1494 (print), ISSN 2500-0373 (online)

Menu

Publications

Editor-in-Chief

Nikiforov
Vladimir O.
D.Sc., Prof.

Partners

Misonizhnik Aleksandr V.

Work place: St. Petersburg State University (SPbSU), Saint Petersburg, 199034, Russian Federation
Post: Student
E-mail: misonijniki@gmail.com
Scopus ID: 57203100912
ORCID: 0000-0002-5907-0324,

Misonizhnik A. V., Kostyukov Y. O., Kostitsyn M. P., Mordvinov D. A., Koznov D. V.

Generation of the weakest preconditions of programs with dynamic memory in symbolic execution

The article was published in issue 5, volume 22, 2022

Copyright 2001-2024 ©
Scientific and Technical Journal
of Information Technologies, Mechanics and Optics.
All rights reserved.