Новиков Евгений Михайлович

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

1. Возможности и ограничения инструментов верификации моделей программ
   
   Труды ИСП РАН, 33:6 (2021),  7–14
2. Экспертная оценка результатов верификации инструментов верификации моделей программ
   
   Труды ИСП РАН, 32:5 (2020),  7–20
3. Инкрементальное построение спецификаций моделей окружения и требований для подсистем монолитного ядра операционных систем
   
   Труды ИСП РАН, 29:6 (2017),  25–48
4. Возможности статической верификации монолитного ядра операционных систем
   
   Труды ИСП РАН, 29:2 (2017),  97–116
5. Развитие ядра операционной системы Linux
   
   Труды ИСП РАН, 29:2 (2017),  77–96