Материалы

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

Цели проекта и пути их достижения

Описание целей проекта и путей их достижения. Пример многоуровневой модели

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

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

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

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

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

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

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

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

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

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