Мандрыкин Михаил Усамович

Публикации в базе данных Math-Net.Ru

1. Полная решающая процедура для теории ограниченной адресной арифметики
   
   Труды ИСП РАН, 33:4 (2021),  177–194
2. Верифицированная тактика Isabelle/HOL для теории ограниченных целых на основе инстанцирования и SMT
   
   Труды ИСП РАН, 32:2 (2020),  107–124
3. Формальная верификация библиотечных функций ядра Linux
   
   Труды ИСП РАН, 29:6 (2017),  49–76
4. Predicate abstractions memory modeling method with separation into disjoint regions
   
   Труды ИСП РАН, 29:4 (2017),  203–216
5. Обзор подходов к моделированию памяти в инструментах статической верификации
   
   Труды ИСП РАН, 29:1 (2017),  195–230
6. Моделирование памяти с использованием неинтерпретируемых функций в предикатных абстракциях
   
   Труды ИСП РАН, 27:5 (2015),  117–142
7. О дедуктивной верификации Си программ, работающих с разделяемыми данными
   
   Труды ИСП РАН, 27:4 (2015),  49–68