Кулямин В.В., Петренко А.К., Хорошилов А.В. Верификация компонентов операционных систем // № 10, 2017
Андрианов П.С., Мутилин В.С. Проверка корректности модели памяти методами статического анализа // № 22, 2023