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

МОРОЗОВ С.А., МИСОНИЖНИК А.В., КОЗНОВ Д.В., ИВАНОВ Д.А. Симкретная модель памяти с ленивой инициализацией и объектами символьного размера в символьной виртуальной машине KLEE. Труды Института системного программирования РАН. 2023;35(3):91-108. https://doi.org/10.15514/ISPRAS-2023-35(3)-7

For citation:

MOROZOV S.A., MISONIZHNIK A.V., MORDVINOV D.A., IVANOV D.A. “Symcrete” memory Model with Lazy Initialization and Objects of Symbolic Sizes in KLEE. Proceedings of the Institute for System Programming of the RAS (Proceedings of ISP RAS). 2023;35(3):91-108. https://doi.org/10.15514/ISPRAS-2023-35(3)-7