Ссылка на кабинет: 1082
Тип проекта: НИР
Статус проекта: В работе с 16.11.2021
Исследование возможности повышения уровня автоматизации верификации ACSL-спецификаций для отдельных операций языка С
Предложения по формированию аксиоматической теории для написания ACSL-спецификаций для отдельных операций языка С, требующих на текущий момент дополнительной проработки; модуль (доработка существующих) для FRAMA-C, обеспечивающий поддержку предложенных аксиоматических теорий.
Зонтов Юрий Владимирович | Денисов Юрий |
---|---|
департамент прикладной математики | ДКИ |
Руководитель проекта, Инициатор проекта | Консультант |
yzontov@miem.hse.ru | yudenisov@miem.hse.ru |
Бунятов Степан Арменович | Гладких Илья Андреевич |
---|---|
БПМ203 | БПМ203 |
Аналитик/исследователь | Аналитик/исследователь |
sabunyatov@edu.hse.ru | iagladkikh@edu.hse.ru |