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

Захаров И.С., Мандрыкин М.У., Мутилин В.С., Новиков Е.М., Петренко А.К., Хорошилов А.В. Конфигурируемая система статической верификации модулей ядра операционных систем. Труды Института системного программирования РАН. 2014;26(2):5-42. https://doi.org/10.15514/ISPRAS-2014-26(2)-1

For citation:

Zakharov I.S., Mandrykin M.U., Mutilin V.S., Novikov E.M., Petrenko A.K., Khoroshilov A.V. Configurable Toolset for Static Verification of Operating Systems Kernel Modules. Proceedings of the Institute for System Programming of the RAS (Proceedings of ISP RAS). 2014;26(2):5-42. (In Russ.) https://doi.org/10.15514/ISPRAS-2014-26(2)-1