|
СТ |
Анализ регионов для дедуктивной верификации Си-программ |
2016 |
Мандрыкин М. У., Хорошилов А. В. |
|
|
|
Программирование |
22.11.2016 |
|
СТ |
Высокоуровневая модель памяти помежуточного языка JESSIE с поддержкой произвольного приведения типов указателей |
2015 |
Мандрыкин М. У., Хорошилов А. В. |
|
|
|
Программирование |
15.09.2015 |
|
СТ |
Конфигурируемая система статической верификации модулей ядра операционных систем |
2015 |
Захаров И. С., Мандрыкин М. У., Мутилин В. С., Новиков Е. М., Петренко А. К., Хорошилов А. В. |
|
|
|
Программирование |
12.03.2015 |
|
СТ |
Использование драйверов устройств операционной системы Linux для сравнения инструментов статической верификации |
2012 |
Мандрыкин М. У., Мутилин В. С., Новиков Е. М., Хорошилов А. В., Швед П. Е. |
|
|
|
Программирование |
04.12.2012 |
|
СТ |
Опыт развития инструмента статической верификации BLAST |
2012 |
Швед П. Е., Мутилин В. С., Мандрыкин М. У. |
|
|
|
Программирование |
22.08.2012 |
