Rodin — платформа для разработки и верификации моделей на Event-B.

Авторы

Илья Щепетков

Аннотация

При проектировании и анализе сложных систем часто возникает потребность в описании моделей этих систем. Одним из подходов для решения этой задачи является использование формального метода Event-B. В докладе рассказывается о свободной платформе Rodin, которая предоставляет среду для разработки, анализа и верификации моделей на Event-B.

Полный текст статьи в формате pdf

Ключевые слова

формальная верификация, Event-B, модель управления правами доступа и информационными потоками операционной системы

Издание

Тезисы докладов одиннадцатой конференции разработчиков свободных программ, стр. 50-52.

Научная группа

Технологии программирования

Все публикации за 2014 год

Все публикации