Петров Олег Максимович

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

1. Coloring symbolic memory graphs to detect DRM-specific errors in Linux drivers
   
   Труды ИСП РАН, 37:5 (2025),  67–80
2. Finding more bugs with software model checking using delta debugging
   
   Труды ИСП РАН, 35:3 (2023),  151–162