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