Ссылка на кабинет: 1022
Тип проекта: Программный
Статус проекта: В работе с 18.10.2021
Автоматизация генерации ACSL-спецификаций
Первоначальная цель - Создание плагина для Frama-C для автоматической генерации ACSL-спецификаций по коду на языке Си
Уточненная цель - Создание программы на С++ для автоматической генерации ACSL-спецификаций по коду на языке Си, интеграция со смежными проектами
Зонтов Юрий Владимирович | Денисов Юрий |
---|---|
департамент прикладной математики | ДКИ |
Руководитель проекта, Инициатор проекта | Консультант |
yzontov@miem.hse.ru | yudenisov@miem.hse.ru |
Новиков Дмитрий Алексеевич |
---|
БПМ191 |
Разработчик OCaml |
danovikov_2@miem.hse.ru |