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

Васильев А.А. Статическая верификация ошибок использования памяти в модулях ядра ОС Linux. Труды Института системного программирования РАН. 2018;30(6):143-160. https://doi.org/10.15514/ISPRAS-2016-30(6)-8

For citation:

Vasilyev A.A. Static verification for memory safety of Linux kernel drivers. Proceedings of the Institute for System Programming of the RAS (Proceedings of ISP RAS). 2018;30(6):143-160. https://doi.org/10.15514/ISPRAS-2016-30(6)-8