Petrov Oleg Maximovich

Publications in Math-Net.Ru

1. Coloring symbolic memory graphs to detect DRM-specific errors in Linux drivers
   
   Proceedings of ISP RAS, 37:5 (2025),  67–80
2. Finding more bugs with software model checking using delta debugging
   
   Proceedings of ISP RAS, 35:3 (2023),  151–162