статический анализ

Кулямин В.В. Петренко А.К. Хорошилов А.В. Верификация компонентов операционных систем // Системная информатика. — . — № 10.  — С. 11-22
Когтенков А.В. Обеспечение практической безопасности пустых ссылок // Системная информатика. — . — № 10.  — С. 45-56
Андрианов П.С. Мутилин В.С. Проверка корректности модели памяти методами статического анализа // Системная информатика. — . — № 22.  — С. 1-10
Ищенко А.Д. Улучшение генерации условий корректности для Reflex программ с помощью простого статического анализа // Системная информатика. — . — № 25.  — С. 1-10
Подписаться на статический анализ