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