| |
Конфигурируемая система статической верификации модулей ядра операционных систем [Текст] : науково-виробничий журнал / И. С. Захаров, М. У. Мандрыкин, В. С. Мутилин [и др.]
// Охорона праці. – 2025. – С. 44-67.
Предлагается новый метод статистической верификации модулей ядра OC Linux, который позволяет конфигурировать процесс проверки на каждом из его этапов. |
