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