Добро пожаловать на сайт, посвященный проекту по теме «Разработка методов и инструментов для дедуктивной верификации модулей ядра операционной системы Linux», проводимого Центром верификации ОС Linux Института системного программирования РАН при поддержке Минобрнауки России (уникальный идентификатор проекта RFMEFI60414X0051) и компании НПО РусБИТех.

В разделе "руководства" представлено теоретическое введение в дедуктивную верификацию и практические руководства по установке и применению вышеуказанного набора инструментов для дедуктивной верификации программ на языке C - Frama-C/Jessie/Why, на основе которого мы выполняем экспериментальную реализацию методов, разрабатываемых в рамках научных исследований.

В разделе "статьи" представлены некоторые научные статьи, полезные для понимания принципов дедуктивной верификации, а также подготовленные в ходе работы над проектом.

Новости:

30.06.2015 Завершен 2-й этап проекта.

31.12.2014 Завершен 1-й этап проекта.

Руководства

Различные руководства в области дедуктивной верификации

Программы

Набор инструментов для дедуктивной верификации

Статьи

Статьи о дедуктивной верификации

Участие в ФЦП

Участие в федеральных целевых программах