| |
Захаров, И. С.
Моделирование окружения с использованием шаблонов для статической верификации модулей ядра Linux [Текст] / И. С. Захаров, В. С. Мутилин, А. В. Хорошилов
// Программирование. – 2015. – № 3. – С. 3-19.
Данная работа предлагает новый метод моделирования окружения, позволяющий автоматически генерировать модели окружения для заданого модуля ядра на основе анализа исходного кода модуля и набора спецификаций. |
