Ссылка на кабинет: 1083
Тип проекта: НИР
Статус проекта: В работе с 16.11.2021
Автоматическая генерация ACSL спецификаций на основе Event-B спецификаций для программ на языке C.
Создание программы для автоматической генерации ACSL-спецификаций для программного кода на языке Си на основе имеющихся спецификаций на Event-B.
Зонтов Юрий Владимирович | Денисов Юрий |
---|---|
департамент прикладной математики | ДКИ |
Руководитель проекта, Инициатор проекта | Консультант |
yzontov@miem.hse.ru | yudenisov@miem.hse.ru |
Зеленецкая Дарина Николаевна | Иванов Кирилл |
---|---|
СКБ192 | БПМ183 |
Исследователь - разработчик | Исследователь - разработчик |
dnzelenetskaya@edu.hse.ru | kmivanov@miem.hse.ru |