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