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

ОРЛОВА Е.М., ВАСИЛЬЕВ А.А., ПЕТРОВ О.М. Окрашивание символьных графов памяти для выявления ошибок, специфичных для DRM-драйверов Linux. Труды Института системного программирования РАН. 2025;37(5):67-80. https://doi.org/10.15514/ISPRAS-2025-37(5)-5

For citation:

ORLOVA E.M., VASILYEV A.A., PETROV O.M. Coloring Symbolic Memory Graphs to Detect DRM-Specific Errors in Linux Drivers. Proceedings of the Institute for System Programming of the RAS (Proceedings of ISP RAS). 2025;37(5):67-80. https://doi.org/10.15514/ISPRAS-2025-37(5)-5