Ссылка на кабинет: 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 |