Efremov Denis Valentinovich

Publications in Math-Net.Ru

1. Runtime verification of operating systems based on abstract models
   
   Proceedings of ISP RAS, 33:6 (2021),  15–26
2. Monitoring and testing based on multi-level program specifications
   
   Proceedings of ISP RAS, 32:6 (2020),  7–18
3. Formal verification of Linux kernel library functions
   
   Proceedings of ISP RAS, 29:6 (2017),  49–76