Руководства

В данном разделе представлены различные руководства по дедуктивной верификации.

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

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

Установка инструментов

Руководство по установке инструментов

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

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

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

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

Возможности экспериментального образца

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