Разработка методов абстракции динамических структур данных для верификации программ на языке Си

Номер гранта:18-01-00426
Область научного знания:математика, механика, информатика
Тип конкурса: (а)(а) конкурс проектов фундаментальных научных исследований
Год выполнения:2018г.
Руководитель: Мутилин ВадимСергеевич
Статус заявки:поддержана

Аннотация к заявке:

Целью проекта является разработка методов абстракций динамической памяти для использования в верификации программ. Разрабатываемые методы будут опираться на модель символьных графов памяти. Предполагается, что данные методы улучшат точность верификации программ, использующих динамически выделяемую память, и позволят значительно уменьшить количество ложных сообщений об ошибках.
Аннотации к заявке и отчету приведены в авторской редакции. по состоянию на 07.04.2020.
Помог ли вам материал?
0    0