Корныхин Евгений Валерьевич

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

1. Методы динамической верификации промышленных средств защиты информации на основе формальных моделей управления доступом.
   
   Труды ИСП РАН, 37:3 (2025),  277–290
2. Мониторинг и тестирование модулей операционных систем на основе абстрактных моделей поведения системы
   
   Труды ИСП РАН, 33:6 (2021),  15–26
3. Мониторинг и тестирование на основе многоуровневых спецификаций программ
   
   Труды ИСП РАН, 32:6 (2020),  7–18
4. Использование языка программирования Python для описания ограничений на архитектурные модели
   
   Труды ИСП РАН, 27:5 (2015),  143–156
5. Генерация тестовых данных для системного функционального тестирования FIFO-кэш-памяти микропроцессоров
   
   Выч. мет. программирование, 10:2 (2009),  107–116