Preview

Труды Института системного программирования РАН

Расширенный поиск
Полноэкранный режим

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


Васильев А.А., Мутилин В.С. Анализ корректности работы с памятью с использованием расширения теории символьных графов предикатами над символьными значениями. Труды Института системного программирования РАН. 2019;31(6):7-20. https://doi.org/10.15514/ISPRAS-2019-31(6)-1

For citation:


Vasiliev A.A., Mutilin V.S. Predicate extension of symbolic memory graphs for analysis of memory safety correctness. Proceedings of the Institute for System Programming of the RAS (Proceedings of ISP RAS). 2019;31(6):7-20. (In Russ.) https://doi.org/10.15514/ISPRAS-2019-31(6)-1



Creative Commons License
Контент доступен под лицензией Creative Commons Attribution 4.0 License.


ISSN 2079-8156 (Print)
ISSN 2220-6426 (Online)