|
СТ |
Анализ регионов для дедуктивной верификации Си-программ |
2016 |
Мандрыкин М. У., Хорошилов А. В. |
|
|
|
Программирование |
22.11.2016 |
|
СТ |
Сравнение способов декомпозиции спецификаций на Event-B |
2016 |
Девянин П. Н., Кулямин В. В., Петренко А. К., Хорошилов А. В., Щепетков И. В. |
|
|
|
Программирование |
07.10.2016 |
|
СТ |
Высокоуровневая модель памяти помежуточного языка JESSIE с поддержкой произвольного приведения типов указателей |
2015 |
Мандрыкин М. У., Хорошилов А. В. |
|
|
|
Программирование |
15.09.2015 |
|
СТ |
Моделирование окружения с использованием шаблонов для статической верификации модулей ядра LINUX |
2015 |
Захаров И. С., Мутилин В. С., Хорошилов А. В. |
|
|
|
Программирование |
22.07.2015 |
|
СТ |
Конфигурируемая система статической верификации модулей ядра операционных систем |
2015 |
Захаров И. С., Мандрыкин М. У., Мутилин В. С., Новиков Е. М., Петренко А. К., Хорошилов А. В. |
|
|
|
Программирование |
12.03.2015 |
|
СТ |
Использование драйверов устройств операционной системы Linux для сравнения инструментов статической верификации |
2012 |
Мандрыкин М. У., Мутилин В. С., Новиков Е. М., Хорошилов А. В., Швед П. Е. |
|
|
|
Программирование |
04.12.2012 |
|
СТ |
Методы обеспечения переносимости ПО |
2011 |
Силаков Д. В., Хорошилов А. В. |
|
|
|
Программирование |
05.04.2011 |
|
СТ |
Разработка формальных моделей и тестирование соответствия для систем с асинхронными интерфейсами и телекоммуникационных протоколов |
2007 |
Пакулин Н. В., Хорошилов А. В. |
|
|
|
Программирование |
27.02.2008 |
|
СТ |
Подход UniTesK к разработке тестов: достижения и перспективы |
2004 |
Баранцев А. В., Бурдонов И. Б., Демаков А. В., Зеленов С. В., Косачев А. С., Кулямин В. В., Омельченко В. А., Пакулин Н. В., Петренко А. К., Хорошилов А. В. |
|
|
Институт системного программирования РАН |
Труды института системного программирования |
01.08.2006 |
|
СТ |
Функциональное тестирование Web-приложений на основе технологии UniTesK |
2004 |
Сортов А. А., Хорошилов А. В. |
|
|
Институт системного программирования РАН |
Труды института системного программирования |
01.08.2006 |
|
А |
Спецификация и тестирование компонентов с асинхронным интерфейсом |
2006 |
Хорошилов А. В. |
|
|
|
|
31.03.2006 |
