30.06.2017: В Москве состоялась Международная Ершовская конференция по информатике (PSI-2017)

В Москве прошла 11-я Международная Ершовская конференция по информатике (PSI-2017). В рамках данной конференции Евгений Новиков и Илья Захаров, участвующие в проекте Linux Driver Verification, представили доклад, в котором были затронуты проблемы и особенности применения существующих на сегодняшний день инструментов статической верификации к произвольным программам, разрабатываемым на языке Си с расширениями GNU.

Михаил Мандрыкин и Алексей Хорошилов, участники проекта Linux Deductive Verification, представили доклад об эффективной модели памяти на основе регионов для дедуктивной верификации фрагментов кода ядра Linux с поддержкой произвольной адресной арифметики и приведений типов указателей.