Novikov Evgeniy Mikhailovich

Publications in Math-Net.Ru

1. Capabilities and restrictions of software model checkers
   
   Proceedings of ISP RAS, 33:6 (2021),  7–14
2. Expert assessment of verification tool results
   
   Proceedings of ISP RAS, 32:5 (2020),  7–20
3. Incremental development of environment model and requirement specifications for subsystems of operating system monolithic kernels
   
   Proceedings of ISP RAS, 29:6 (2017),  25–48
4. Static verification of operating system monolithic kernels
   
   Proceedings of ISP RAS, 29:2 (2017),  97–116
5. Evolution of the Linux kernel
   
   Proceedings of ISP RAS, 29:2 (2017),  77–96