Здесь представлены материалы по моделированию и верификации ПО, созданные в рамках проекта или входящие в научно-технический задел.
Описание целей проекта и путей их достижения. Пример многоуровневой модели
Аналитический обзор современной научно-технической, нормативной, методической литературы
Теоретическое введение в методы дедуктивной верификации
Введение в набор инструментов AstraVer и язык ACSL
Расширение возможностей инструментов для дедуктивной верификации кода ядра Linux
Особенности верификации кода большого объема