Кулямин В.В., Петренко А.К., Хорошилов А.В. Верификация компонентов операционных систем // № 10, 2017
Андрианов П.С., Мутилин В.С. Проверка корректности модели памяти методами статического анализа // № 22, 2023
Ищенко А.Д. Улучшение генерации условий корректности для Reflex программ с помощью простого статического анализа // № 25, 2024
