Материалы

Здесь представлены материалы по моделированию и верификации ПО, созданные в рамках проекта или входящие в научно-технический задел.

Теоретическое введение

Теоретическое введение в методы дедуктивной верификации

Аналитический обзор

Аналитический обзор современной научно-технической, нормативной, методической литературы

Практическое введение

Введение в набор инструментов AstraVer и язык ACSL

Уникальные возможности AstraVer

Расширение возможностей инструментов для дедуктивной верификации кода ядра Linux

Верификация кода большого объема

Особенности задачи по верификации больших объемов кода